752 search results - page 81 / 151 » Abstract models for dialogue protocols |
143
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
131
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--Power-awareness in networking attracts more attention as the trends in the energy consumption of the Internet raise growing concerns about the environmental impacts and s...
118
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
146
Voted
CANS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
135
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...