3310 search results - page 197 / 662 » Aspect-aware operating system development |
162
click to vote
SP
2009
IEEE
16 years 1 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...
253
click to vote
LORI
2009
Springer
16 years 1 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...
148
click to vote
AUSAI
1997
Springer
15 years 10 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...
147
click to vote
WOTUG
2007
15 years 7 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...
145
click to vote
RTSS
1998
IEEE
15 years 10 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...