3108 search results - page 169 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
151
Voted
DATE
2005
IEEE
15 years 9 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...
150
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
101
Voted
ECIS
2000
15 years 5 months ago
2000
- In this paper we consider the way in which two representational forms, scenarios and design breakdowns, which have emerged in the tradition of participatory design are relevant w...
130
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
160
Voted
SIAMCOMP
2002
15 years 3 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...