2776 search results - page 43 / 556 » System-Level Abstraction Semantics |
SEMWEB
2007
Springer
15 years 8 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...
127
Voted
ICLP
1995
Springer
15 years 6 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...
112
Voted
ERCIMDL
2006
Springer
15 years 6 months ago
2006
Springer
ined abstract Access Points combined with specific attributes (Attribute Sets)
114
Voted
CONCUR
2005
Springer
15 years 8 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 ...
118
Voted
JISE
1998
15 years 2 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....