3310 search results - page 71 / 662 » Aspect-aware operating system development |
STANDARDVIEW
1998
14 years 11 months ago
1998
Compatibility is a key strategic decision in software production. Proposals exist for standards in several fields of software production, such as networking (ISO and IEEE), operat...
AUTOMATICA
1999
14 years 11 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
134
click to vote
FAST
2011
14 years 3 months ago
2011
As file systems reach the petabytes scale, users and administrators are increasingly interested in acquiring highlevel analytical information for file management and analysis. T...
ENTCS
2002
14 years 11 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
108
click to vote
IJSEKE
1998
14 years 11 months ago
1998
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...