557 search results - page 30 / 112 » The L4.verified Project - Next Steps |
ACMDIS
1997
ACM
14 years 1 months ago
1997
ACM
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
EATIS
2007
ACM
14 years 28 days ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
FPL
2006
Springer
14 years 20 days ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...