215 search results - page 12 / 43 » Toward Verified Execution Environments |
ISWC
2003
IEEE
14 years 25 days ago
2003
IEEE
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we present a polynomial Navigation Function (NF) for a sphere world that can be constructed almost locally, with partial knowledge of the environment. The present...
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Contemporary business process simulation environments are geared towards design-time analysis, rather than operational decision support over already deployed and running processes....
ADBIS
2007
Springer
13 years 11 months ago
2007
Springer
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
FTDCS
1997
IEEE
13 years 11 months ago
1997
IEEE
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...