Sciweavers

2521 search results - page 112 / 505
» Semantic Component Composition
Sort
View
ETFA
2006
IEEE
14 years 3 months ago
Cost-based Deployment Planning for Components in Smart Item Environments
Middleware for smart items can facilitate the coordinated execution of distributed components for early data processing. These components can be deployed to different nodes in the...
Jürgen Anke, Klaus Kabitzsch
EWSA
2006
Springer
14 years 25 days ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...
FORTE
2009
13 years 7 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
LREC
2008
131views Education» more  LREC 2008»
13 years 10 months ago
Semantic Frame Annotation on the French MEDIA corpus
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
Marie-Jean Meurs, Frédéric Duvert, F...
VMCAI
2009
Springer
14 years 3 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik