974 search results - page 39 / 195 » Formal Modeling of Communication Traces |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
FATES
2004
Springer
14 years 1 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...