4890 search results - page 223 / 978 » From system specifications to component behavioral models |
160
click to vote
JSS
2006
15 years 6 months ago
2006
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
170
click to vote
IADIS
2003
15 years 8 months ago
2003
In this paper a framework for a high-confidence e-healthcare information system which meets five criteria including availability, reliability, security, survivability and restorab...
181
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
180
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
145
click to vote
ANOR
2005
15 years 6 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...