4126 search results - page 466 / 826 » Relationships with other Formalisms |
159
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Many tasks in Software Engineering are very expensive, and that has led the investigation to how to automate them. In particular, Software Testing can take up to half of the re...
176
click to vote
FROCOS
2007
Springer
16 years 29 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
190
click to vote
LOPSTR
2007
Springer
16 years 28 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
161
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
170
click to vote
IAT
2006
IEEE
16 years 25 days ago
2006
IEEE
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...