4126 search results - page 76 / 826 » Relationships with other Formalisms |
145
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
270
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
152
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
166
click to vote
FCS
2006
15 years 7 months ago
2006
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
139
click to vote
IJAOSE
2007
15 years 6 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...