Sciweavers

6432 search results - page 306 / 1287
» Classic Mechanism Design
Sort
View
PRDC
2008
IEEE
16 years 16 days ago
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)
Multiserver operating systems have great potential to improve dependability, but, paradoxically, are paired with inherently more complex interprocess communication (IPC). Several ...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
IROS
2007
IEEE
150views Robotics» more  IROS 2007»
16 years 13 days ago
Long-Term learning using multiple models for outdoor autonomous robot navigation
Abstract—Autonomous robot navigation in unstructured outdoor environments is a challenging area of active research. The navigation task requires identifying safe, traversable pat...
Michael J. Procopio, Jane Mulligan, Gregory Z. Gru...
PAM
2007
Springer
16 years 8 days ago
Early Recognition of Encrypted Applications
Abstract. Most tools to recognize the application associated with network connections use well-known signatures as basis for their classification. This approach is very effective ...
Laurent Bernaille, Renata Teixeira
SIGADA
2005
Springer
15 years 11 months ago
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
Javier Miranda, Edmond Schonberg, Hristian Kirtche...
ECOOPW
2003
Springer
15 years 11 months ago
Advancing the State of the Art in Run-Time Inspection
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
Robert E. Filman, Katharina Mehner, Michael Haupt