2004 search results - page 378 / 401 » Comparison of Model Checking Tools for Information Systems |
106
Voted
MOBISYS
2009
ACM
16 years 9 days ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
113
click to vote
JCDL
2009
ACM
15 years 6 months ago
2009
ACM
The amount of scientific material available electronically is forever increasing. This makes reading the published literature, whether to stay up-to-date on a topic or to get up ...
133
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
117
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
171
click to vote
TAPIA
2009
ACM
15 years 4 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...