3256 search results - page 362 / 652 » Applications of Formal Methods to System Design and Verifica... |
183
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
149
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
190
click to vote
Publication
We investigate the usability of an eye controlled writing interface that matches the nature of human eye gaze, which always moves and is not immediately able to trigger the selecti...
193
click to vote
VL
2003
IEEE
15 years 12 months 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...
193
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...