2776 search results - page 294 / 556 » System-Level Abstraction Semantics |
164
click to vote
CAISE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
138
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
151
click to vote
FATES
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
211
click to vote
PKDD
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
167
click to vote
RWEB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...