652 search results - page 31 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
141
click to vote
RE
2001
Springer
15 years 6 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...
126
click to vote
CIA
2008
Springer
15 years 4 months 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...
150
click to vote
CLEF
2007
Springer
15 years 8 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...
121
click to vote
FAC
2006
15 years 1 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 ...
143
click to vote
WH
2010
14 years 8 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...