2776 search results - page 43 / 556 » System-Level Abstraction Semantics |
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...
ICLP
1995
Springer
14 years 1 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
ERCIMDL
2006
Springer
14 years 1 months ago
2006
Springer
ined abstract Access Points combined with specific attributes (Attribute Sets)
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
JISE
1998
13 years 9 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....