Sciweavers

13618 search results - page 285 / 2724
» The Newton Operating System
Sort
View
DKE
2006
118views more  DKE 2006»
15 years 6 months ago
KDDML: A middleware language and system for knowledge discovery in databases
KDDML (KDD Markup Language) is a middleware language and system designed to support the development of final applications or higher level systems which deploy a mixture of data acc...
Andrea Romei, Salvatore Ruggieri, Franco Turini
TCS
2008
15 years 6 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
GI
2009
Springer
15 years 4 months ago
Group Tracking in an Air Surveillance System
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Wolfgang Konle
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
16 years 1 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
176
Voted
VLDB
1989
ACM
104views Database» more  VLDB 1989»
15 years 10 months ago
Gral: An Extensible Relational Database System for Geometric Applications
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
Ralf Hartmut Güting