10038 search results - page 214 / 2008 » Model Checking for Managers |
133
click to vote
FORTE
2008
15 years 5 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
219
click to vote
AMKM
2003
Springer
15 years 9 months ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
140
click to vote
HT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
170
click to vote
BPSC
2009
15 years 5 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
144
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...