3868 search results - page 244 / 774 » Open Systems in TLA |
184
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
200
click to vote
IPPS
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
218
click to vote
EURONGI
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The literature on cross-layer protocols, protocol improvements, and design methodologies for wireless sensor networks (WSNs) is reviewed and a taxonomy is proposed. The c...
175
click to vote
WEBI
2005
Springer
16 years 22 days ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
177
click to vote
ICALP
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...