2468 search results - page 188 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
click to vote
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
139
click to vote
ILP
2007
Springer
15 years 10 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
124
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
130
click to vote
CICLING
2010
Springer
15 years 4 months ago
2010
Springer
Named Entity Recognition and Classification is being studied for last two decades. Since semantic features take huge amount of training time and are slow in inference, the existing...
157
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...