2266 search results - page 190 / 454 » A generic component model for building systems software |
204
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
177
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
158
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
160
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
157
click to vote
WSC
2007
15 years 8 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...