4693 search results - page 831 / 939 » Verifying Hybrid Systems |
133
click to vote
GRID
2007
Springer
15 years 19 days ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...
137
Voted
PERVASIVE
2008
Springer
15 years 19 days ago
2008
Springer
In energy constrained wireless sensor networks, energy conservation techniques are to be applied in order to maximize the system lifetime. We tackle the problem of increasing netw...
110
Voted
AAECC
2005
Springer
15 years 19 days ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
116
click to vote
IJNSEC
2007
15 years 18 days ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
122
click to vote
IJNSEC
2007
15 years 18 days ago
2007
We describe an identity based signature scheme that uses biometric information to construct the public key. Such a scheme would be beneficial in many repudiation situations for e...