366 search results - page 29 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
TACS
2001
Springer
13 years 11 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
AAI
2000
13 years 7 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
FM
2001
Springer
13 years 12 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...