139 search results - page 1 / 28 » Modeling the invisible college |
JASIS
2006
14 years 11 months ago
2006
121
Voted
WACV
2012
IEEE
13 years 6 months 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...
119
click to vote
DSRT
2003
IEEE
15 years 4 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...
101
Voted
WCCE
2001
15 years 9 days 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
15 years 4 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...