Sciweavers

1356 search results - page 48 / 272
» A variable-free dynamic semantics
Sort
View
CATA
2003
14 years 11 months ago
More Accurate Semantics Defining Constraint Combination for Software Systems Having Client-Server Relationships
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
Kenneth G. Ricks, David Jeff Jackson, B. Earl Well...
APN
2006
Springer
15 years 1 months ago
Non-sequential Behaviour of Dynamic Nets
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
Roberto Bruni, Hernán C. Melgratti
EWDW
1990
15 years 1 months ago
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
Georg Gottlob, Gerti Kappel, Michael Schrefl
ECOWS
2006
Springer
15 years 1 months ago
Denotation of Semantic Web Services Operations through OWL-S
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
Marco Luca Sbodio, Claude Moulin
ESWS
2008
Springer
14 years 11 months ago
User Profiling for Semantic Browsing in Medical Digital Libraries
Semantic Browsing provides contextualized dynamically generated Web content customizing the knowledge to better meet user expectations. The real-world medical digital library, the ...
Patty Kostkova, Gayo Diallo, Gawesh Jawaheer