3733 search results - page 243 / 747 » Logics of communication and change |
121
click to vote
QEST
2005
IEEE
15 years 7 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
100
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A large number of the MAC protocols proposed for establishing wireless sensor networks are based on the 802.11 standard. The trade-off in these protocols is the control packet ov...
116
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
The increasing popularity of distributed and collaborative applications prompts the need for secure communication in collaborative groups. Some distributed collaborative key manag...
119
Voted
ISCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
133
click to vote
SUTC
2006
IEEE
15 years 7 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...