1890 search results - page 137 / 378 » A component model for building systems software |
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...
SEM
2004
Springer
14 years 1 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
ICTAI
1999
IEEE
14 years 15 days ago
1999
IEEE
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
PFE
2001
Springer
14 years 20 days ago
2001
Springer
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...