Software Engineering

Authors and titles for September 2006

[1] arXiv:cs/0609024 [pdf, other]

Title: Linux, Open Source and Unicode

Prashant

Comments: 10 pages, 1 figure, 1 table

Subjects: Software Engineering (cs.SE)

[2] arXiv:cs/0609025 [pdf, other]

Title: A XML Schema Definition based Universal User Interface

Prashant

Comments: 6 pages, 5 figures

Subjects: Software Engineering (cs.SE)

[3] arXiv:cs/0609147 [pdf, other]

Title: Identifying Crosscutting Concerns Using Fan-in Analysis

Marius Marin, Arie van Deursen, Leon Moonen

Comments: 34+4 pages; Extended version [Marin et al. 2004a]

Journal-ref: ACM Transactions on Software Engineering and Methodology, 2007

Subjects: Software Engineering (cs.SE)

[4] arXiv:cs/0609104 (cross-list from cs.PL) [pdf, other]

Title: On Verifying Complex Properties using Symbolic Shape Analysis

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin Rinard

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[5] arXiv:cs/0609119 (cross-list from cs.AI) [pdf, other]

Title: Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web

Adrian Paschke

Comments: this http URL: Verification, Validation, Integrity of Rule Based Policies and Contracts in the Semantic Web, 2nd International Semantic Web Policy Workshop (SWPW'06), Nov. 5-9, 2006, Athens, GA, USA

Journal-ref: A.Paschke: Verification, Validation, Integrity of Rule Based Policies and Contracts in the Semantic Web, 2nd International Semantic Web Policy Workshop (SWPW'06), Nov. 5-9, 2006, Athens, GA, USA

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[6] arXiv:cs/0609120 (cross-list from cs.AI) [pdf, other]

Title: Rule-based Knowledge Representation for Service Level Agreement

Adrian Paschke

Comments: Doctoral Symposium of 4th Conf. on Multiagent System Technologies (MATES'06), Germany, 2006

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[7] arXiv:cs/0609143 (cross-list from cs.AI) [pdf, other]

Title: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language

Adrian Paschke

Comments: Paschke, A.: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language, Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML06), Athens, Georgia, USA, Nov. 2006

Journal-ref: Paschke, A.: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language, Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML06), Athens, Georgia, USA, Nov. 2006

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)