2696 search results - page 279 / 540 » Semantic Abstraction and Anaphora |
170
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
189
click to vote
IHIS
2005
ACM
16 years 4 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
164
click to vote
CAISE
2005
Springer
16 years 4 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...
137
click to vote
CONCUR
2005
Springer
16 years 3 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...
146
click to vote
FATES
2005
Springer
16 years 3 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...