2521 search results - page 174 / 505 » Semantic Component Composition |
PPSWR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
ENTCS
2007
13 years 10 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
ECOWS
2006
Springer
14 years 2 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
CSL
2008
Springer
14 years 4 days ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...