432 search results - page 62 / 87 » The Design of Application-Tailorable Operating System Produc... |
CCS
2003
ACM
14 years 29 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
C5
2005
IEEE
14 years 1 months ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
ARVLSI
1997
IEEE
13 years 12 months ago
1997
IEEE
The growing gap between on-chip gates and off-chip I/O bandwidth argues for ever larger amounts of on-chip memory. Emerging portable consumer technology, such as digital cameras, ...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...