759 search results - page 90 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
SIGSOFT
2009
ACM
14 years 3 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
IFIP13
2004
13 years 10 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
SEBD
2001
13 years 10 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– We address the problem of knee pathology assessment by using screw theory to describe the knee motion and by using the screw representation of the motion as an input to a machi...
PADS
2009
ACM
14 years 3 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...