4693 search results - page 744 / 939 » Verifying Hybrid Systems |
127
Voted
ICWN
2008
15 years 7 months ago
2008
Authentic program modification is very important for a multi-application smart card system since applications in the system are realized after the issuance of the smart card. In t...
163
click to vote
MIE
2008
15 years 7 months ago
2008
This paper describes the results of the KINELECTRICS project. Since more and more clinical documents are stored and transmitted in an electronic way, the aim of this project was to...
134
click to vote
IQ
2007
15 years 7 months ago
2007
: This research has attempted to find the impact of information quality (IQ) and system quality (SQ) on users’ attitude to adopt the interactive TV based auction service. The pri...
127
click to vote
CASCON
2006
15 years 6 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
156
click to vote
AIPS
2003
15 years 6 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...