3801 search results - page 560 / 761 » An Approach to Modeling Software Safety |
156
click to vote
ERCIMDL
2005
Springer
16 years 2 days ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
152
click to vote
WER
2005
Springer
16 years 13 hour ago
2005
Springer
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
171
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
158
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
197
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...