4476 search results - page 691 / 896 » Modeling software architectures in the Unified Modeling Lang... |
207
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
212
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
171
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
164
click to vote
LADS
2007
Springer
16 years 23 days ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
172
click to vote
FQAS
2004
Springer
16 years 2 hour ago
2004
Springer
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...