4211 search results - page 453 / 843 » A formal approach to MASQ |
134
click to vote
FATES
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
184
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
161
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
169
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
168
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...