247 search results - page 18 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
ACL
2008
15 years 1 months ago
2008
Expert search, in which given a query a ranked list of experts instead of documents is returned, has been intensively studied recently due to its importance in facilitating the ne...
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
85
Voted
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
117
click to vote
CN
1999
14 years 11 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...