695 search results - page 64 / 139 » Dynamic Software Architectures Verification using DynAlloy |
104
click to vote
MIDDLEWARE
2005
Springer
15 years 3 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
162
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
EUROMICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
True VoD systems provide interactive on-demand video service by allocating each client a dedicated stream. Such a scheme is inefficient when the system has a large number of users...