592 search results - page 46 / 119 » Can Component Service-Based Systems Be Proved Correct |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
SIGSOFT
1998
ACM
13 years 12 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
ANLP
1997
13 years 9 months ago
1997
We present the dialogue module of the speech-to-speech translation system VERBMOBIL. We follow the approach that the solution to dialogue processing in a mediating scenario can no...