695 search results - page 115 / 139 » Dynamic Software Architectures Verification using DynAlloy |
ANCS
2010
ACM
13 years 5 months ago
2010
ACM
Over the past few years, researchers have developed many crosslayer wireless protocols to improve the performance of wireless networks. Experimental evaluations of these protocols...
WIMOB
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Multi-core architectures introduce a new granularity at which process variations may occur, yielding asymmetry among cores that were designed—and that software expects—to be s...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
FAABS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...