1306 search results - page 26 / 262 » A Diagrammatic Approach to Model Completion |
129
Voted
SGP
2004
15 years 2 months ago
2004
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
100
Voted
INTERACT
2003
15 years 1 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
120
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
99
Voted
CAV
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
111
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...