Sciweavers

7380 search results - page 528 / 1476
» Engineering Software Intensive Systems
Sort
View
EUROSYS
2007
ACM
16 years 3 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
SEMWEB
2007
Springer
16 years 11 days ago
Lifecycle-Support in Architectures for Ontology-Based Information Systems
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...
Thanh Tran, Peter Haase, Holger Lewen, Ósca...
AIPRF
2007
15 years 7 months ago
Pitfalls of JESS for Dynamic Systems
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
Rajkumar Thirumalainambi
ICSE
2010
IEEE-ACM
15 years 8 months ago
Requirements reflection: requirements as runtime entities
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony ...
ADAEUROPE
2008
Springer
16 years 19 days ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm