4460 search results - page 464 / 892 » Formal methods for interactive systems |
173
click to vote
FORMATS
2007
Springer
16 years 29 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
185
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
161
click to vote
UML
2004
Springer
16 years 4 days ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
153
click to vote
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
197
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...