10038 search results - page 273 / 2008 » Model Checking for Managers |
194
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Peer data management systems (PDMS) offer a flexible architecture for decentralized data sharing. In a PDMS, every peer is associated with a schema that represents the peer's...
171
click to vote
ESAW
2004
Springer
16 years 8 hour ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
172
click to vote
PKDD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To represent and manage data mining patterns, several aspects have to be taken into account: (i) patterns are heterogeneous in nature; (ii) patterns can be extracted from...
201
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
194
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...