1525 search results - page 175 / 305 » Formal Models for Communication-Based Design |
143
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
122
click to vote
ELPUB
1997
ACM
15 years 6 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
133
click to vote
DIAGRAMS
2004
Springer
15 years 6 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 ...
126
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
128
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...