2004 search results - page 378 / 401 » Comparison of Model Checking Tools for Information Systems |
150
Voted
MOBISYS
2009
ACM
16 years 4 months 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...
158
Voted
JCDL
2009
ACM
15 years 10 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 ...
172
Voted
HICSS
2003
IEEE
15 years 9 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...
154
Voted
SEMWEB
2009
Springer
15 years 10 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...
225
Voted
TAPIA
2009
ACM
15 years 8 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...