336 search results - page 40 / 68 » Using AOP to develop architectural-neutral operating system ... |
FM
2009
Springer
14 years 2 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
ENVSOFT
2002
13 years 7 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...