3868 search results - page 419 / 774 » Open Systems in TLA |
181
click to vote
CSREASAM
2003
15 years 8 months ago
2003
Computational web portals provide uniform access to remote computational resources--hardware, software, and data--by hiding the complexity of the heterogeneous, distributed, high ...
202
click to vote
SDL
2001
15 years 8 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
159
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
168
click to vote
ACL
1998
15 years 8 months ago
1998
This paper describes the work achieved in the rst half of a 4-year cooperative research project ARCADE, nanced by AUPELF-UREF. The project is devoted to the evaluation of parallel...
192
click to vote
USENIX
2003
15 years 8 months ago
2003
With the development of low cost hardware for wireless networking based on IEEE 802.11b, wireless networks are an emerging technology. Using these wireless techniques outdoors it ...