2776 search results - page 204 / 556 » System-Level Abstraction Semantics |
163
click to vote
ICLP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
179
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
181
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
181
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
175
click to vote
COMPLEXITY
2007
15 years 6 months ago
2007
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...