3507 search results - page 428 / 702 » Specialized execution environments |
177
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
181
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
149
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
190
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...