1525 search results - page 175 / 305 » Formal Models for Communication-Based Design |
EPIA
2005
Springer
14 years 1 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...
ELPUB
1997
ACM
14 years 15 days 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...
DIAGRAMS
2004
Springer
14 years 1 days 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 ...
FORMATS
2008
Springer
13 years 9 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...
ISORC
2000
IEEE
14 years 21 days 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...