1580 search results - page 55 / 316 » Non-Interference Through Determinism |
UIST
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents CoCo, a system that automates web tasks on a user's behalf through an interactive conversational interface. Given a short command such as "get road c...
WCET
2010
13 years 6 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
AINA
2009
IEEE
13 years 6 months ago
2009
IEEE
Determining the time and means by which to travel from location A to location B for a person utilising a MANET requires the dissemination of both realtime and historic data. In thi...
ESIAT
2009
IEEE
13 years 6 months ago
2009
IEEE
Coalmine gas disaster is one of the severe natural disasters that restrict the safety production of coalmines. Timely monitoring and alarming of coalmine gas is an important part o...
GVD
2009
13 years 6 months ago
2009
In this paper, we present the current development progress of our dynamic insert strategy based on the Intelligent Cluster Index (ICIx), which is a new type of multidimensional da...