9974 search results - page 1457 / 1995 » Software Interconnection Models |
191
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
176
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
186
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
179
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
186
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Autonomic networks are able to monitor and control themselves without direct human intervention. The smallest unit of an autonomic network is the autonomic element (AE). This work...