305 search results - page 32 / 61 » Experiences with Modeling and Verification of Regulations |
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— A class of CSMA protocols used in a broad range of wireless applications uses synchronized contention where nodes periodically contend at intervals of fixed duration. While se...
CEC
2009
IEEE
14 years 24 days ago
2009
IEEE
Abstract--A model for intrinsic artificial development is introduced in this paper. The proposed model features a novel mechanism where growth emerges, rather than being triggered ...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
This paper addresses the discovery of activities and learns the underlying processes that govern their occurrences over time in complex surveillance scenes. To this end, we propos...
CVPR
2007
IEEE
14 years 3 months ago
2007
IEEE
Fingerprint individuality study deals with the crucial problem of the discriminative power of fingerprints for recognizing people. In this paper, we present a novel fingerprint in...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...