3908 search results - page 227 / 782 » A model for service-oriented communication systems |
233
click to vote
WSC
2007
15 years 9 months ago
2007
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
171
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
188
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
180
click to vote
FMICS
2007
Springer
16 years 25 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
182
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...