5239 search results - page 782 / 1048 » Model-Integrated Embedded Systems |
147
click to vote
SCOPES
2005
Springer
16 years 4 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
207
click to vote
SFM
2005
Springer
16 years 4 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
167
click to vote
PDC
2004
ACM
16 years 2 days ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
188
click to vote
IPSN
2004
Springer
16 years 16 hour ago
2004
Springer
We propose a distributed on-demand power-management protocol for collecting data in sensor networks. The protocol aims to reduce power consumption while supporting fluctuating dem...
162
click to vote
ISOLA
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...