1054 search results - page 76 / 211 » From a Verified Kernel towards Verified Systems |
178
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
177
click to vote
USENIX
1994
15 years 7 months ago
1994
As distributed computing systems grow in size, complexity and variety of application, the problem of protecting sensitive data from unauthorized disclosure and tampering becomes i...
170
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
- We propose a novel framework for imitation learning that helps a humanoid robot achieve its goal of learning. There are apparent discrepancies in shapes and sizes among humans an...
141
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...
180
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...