3218 search results - page 477 / 644 » Timed Extensions for SDL |
171
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
187
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Nanodevices based circuit design will be based on the acceptance that a high percentage of devices in the design will be defective. In this work, we investigate a defect tolerant ...
167
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
We present the design, implementation, and evaluation of a Time Division Multiplex (TDM) MAC protocol for multihop wireless mesh networks using a programmable wireless platform. E...
152
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
170
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...