5615 search results - page 141 / 1123 » On the Computational Capabilities of Several Models |
138
click to vote
ETFA
2006
IEEE
16 years 5 days ago
2006
IEEE
The CAN Enhanced Layer (CANELy) is a CAN-based infrastructure capable of extremely reliable communication. This paper describes the mechanisms and the techniques used in CANELy to...
150
Voted
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
169
click to vote
JAIR
2008
15 years 6 months ago
2008
In this paper we show how taking advantage of autonomous agents' capability to maintain parallel interactions with others, and incorporating it into the cooperative economic ...
204
Voted
CACM
1999
15 years 5 months ago
1999
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
150
Voted
ASWEC
2005
IEEE
15 years 11 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...