652 search results - page 31 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
108
Voted
RE
2001
Springer
15 years 2 months ago
2001
Springer
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
92
Voted
CIA
2008
Springer
15 years 8 days ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
104
Voted
CLEF
2007
Springer
15 years 4 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
87
Voted
FAC
2006
14 years 10 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
107
Voted
WH
2010
14 years 5 months ago
2010
Systems with wearable and wireless motion sensors have been receiving significant attention in the past few years specifically for the applications of human movement monitoring. O...