1057 search results - page 69 / 212 » Testing from Formal Specifications, a Generic Approach |
157
click to vote
AAMAS
1999
Springer
15 years 3 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
105
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
189
Voted
LDTA
2010
15 years 3 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
115
Voted
WETICE
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
145
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...