2060 search results - page 14 / 412 » The Composition of Event-B Models |
IRI
2008
IEEE
14 years 5 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
ICDE
2006
IEEE
14 years 5 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
ECCV
2006
Springer
15 years 23 days ago
2006
Springer
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
AAAI
2011
12 years 11 months ago
2011
We have carefully instrumented a large portion of the population living in a university graduate dormitory by giving participants Android smart phones running our sensing software...
TAICPART
2006
IEEE
14 years 4 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...