139 search results - page 1 / 28 » Modeling the invisible college |
JASIS
2006
13 years 4 months ago
2006
WACV
2012
IEEE
12 years 6 days ago
2012
IEEE
The growing ubiquity of cameras in hand-held devices and the prevalence of electronic displays in signage creates a novel framework for wireless communications. Traditionally, the...
DSRT
2003
IEEE
13 years 10 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
WCCE
2001
13 years 6 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...