2060 search results - page 307 / 412 » The Composition of Event-B Models |
116
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Recently, enterprise interoperability has been improved by the Web Service technology, making available an ever-growing number of services. Service discovery is considered a crucia...
124
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
167
click to vote
FGR
2006
IEEE
15 years 8 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
126
click to vote
CEEMAS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...