Sciweavers

4726 search results - page 694 / 946
» Domain Modeling of Software Process Models
Sort
View
HASE
2008
IEEE
16 years 1 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
COOPIS
1998
IEEE
15 years 11 months ago
A Generative Communication Service for Database Interoperability
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
Wilhelm Hasselbring, Mark Roantree
USENIX
2000
15 years 8 months ago
Techniques for the Design of Java Operating Systems
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
Godmar Back, Patrick Tullmann, Leigh Stoller, Wils...
OTM
2007
Springer
16 years 22 days ago
ImageNotion: Methodology, Tool Support and Evaluation
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...
Andreas Walter, Gábor Nagypál
ICALT
2006
IEEE
16 years 20 days ago
The e-Learning Assessment Landscape
Assessment is one of the more established areas of e-learning. However, it cannot be described as mature due to the disparate nature of the tools and standards available. As part ...
David E. Millard, Christopher Bailey, Hugh C. Davi...