10159 search results - page 1911 / 2032 » System Design Validation Using Formal Models |
113
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The emerging reality of wireless sensor networks deployed as long-lived infrastructure required to serve multiple applications necessitates the development of fine-grained securi...
115
Voted
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
129
Voted
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
120
Voted
IWPC
2007
IEEE
15 years 8 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
133
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...