3801 search results - page 485 / 761 » An Approach to Modeling Software Safety |
184
click to vote
RE
2004
Springer
16 years 8 hour ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
170
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
155
click to vote
PGLDB
2003
15 years 8 months ago
2003
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
188
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
202
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...