328 search results - page 46 / 66 » Model Checking for Combined Logics with an Application to Mo... |
MOBISYS
2009
ACM
14 years 9 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
ER
2001
Springer
14 years 29 days ago
2001
Springer
Rapid development of information technology such as mobile terminals and GPS systems enabled information services that provide location-oriented information based on users’ posit...
DAGSTUHL
2008
13 years 10 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
IWIA
2005
IEEE
14 years 2 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...