2607 search results - page 490 / 522 » On the Architecture of System Verification Environments |
AUSDM
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a framework for indoor location prediction system using multiple wireless signals available freely in public or office spaces. We first proabstract architectur...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
EGOV
2005
Springer
14 years 27 days ago
2005
Springer
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
The basic networking unit in Bluetooth is piconet, and a larger-area Bluetooth network can be formed by multiple piconets, called scatternet. However, the structure of scatternets...