2004 search results - page 238 / 401 » Comparison of Model Checking Tools for Information Systems |
173
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
140
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
141
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Identifying functional elements, such as transcriptional factor binding sites, is a fundamental step in reconstructing gene regulatory networks and remains a challengi...
242
click to vote
ENTCS
2006
15 years 4 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
131
click to vote
AAAI
2007
15 years 7 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...