4350 search results - page 781 / 870 » Case studies for contract-based systems |
110
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Effective human/robot interfaces which mimic how humans interact with one another could ultimately lead to robots being accepted in a wider domain of applications. We present a fr...
146
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
151
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
125
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
137
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...