3310 search results - page 197 / 662 » Aspect-aware operating system development |
127
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
Providing online access to sensitive data makes web servers lucrative targets for attackers. A compromise of any of the web server’s scripts, applications, or operating system c...
198
Voted
LORI
2009
Springer
15 years 10 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
118
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
109
click to vote
WOTUG
2007
15 years 5 months ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
117
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
High-bandwidth applications with time-dependent resource requirements demand certain resource level assurances in order to operate correctly. Quality of Service resource managemen...