1890 search results - page 245 / 378 » A component model for building systems software |
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
85
Voted
QSIC
2007
IEEE
15 years 5 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
SIGIR
1995
ACM
15 years 2 months ago
1995
ACM
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
SNPD
2004
15 years 13 days ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
105
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...