985 search results - page 130 / 197 » A Caching Model of Operating System Kernel Functionality |
139
Voted
AEI
2004
15 years 2 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
123
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
122
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
126
click to vote
JUCS
2007
15 years 2 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
119
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...