2933 search results - page 444 / 587 » Agent-Grid Integration Language |
120
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
174
click to vote
JAVACARD
2000
15 years 6 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
121
click to vote
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
142
click to vote
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
140
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...