399 search results - page 24 / 80 » Verification of System Level Model Transformations |
137
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
116
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
163
click to vote
IHIS
2005
ACM
15 years 8 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
110
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
126
click to vote
ICAPR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...