1890 search results - page 137 / 378 » A component model for building systems software |
100
click to vote
ASWEC
2005
IEEE
15 years 6 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 ...
115
Voted
SEM
2004
Springer
15 years 6 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...
108
click to vote
ICTAI
1999
IEEE
15 years 5 months 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
15 years 6 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...
140
Voted
PFE
2001
Springer
15 years 5 months 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...