4126 search results - page 626 / 826 » Relationships with other Formalisms |
173
click to vote
ICAT
2006
IEEE
16 years 16 days ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
156
click to vote
ICDCSW
2006
IEEE
16 years 16 days ago
2006
IEEE
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...
155
click to vote
MEMOCODE
2006
IEEE
16 years 15 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
159
click to vote
SEFM
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
159
click to vote
WIOPT
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...