4350 search results - page 151 / 870 » Case studies for contract-based systems |
134
Voted
SIROCCO
2010
15 years 5 months ago
2010
Abstract. We study strategies that minimize the instability of a faulttolerant consensus system. More precisely, we find the strategy than minimizes the number of output changes ov...
111
click to vote
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
138
click to vote
NHM
2010
14 years 11 months ago
2010
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
131
click to vote
APSCC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Archive is a collection of historical records which have been accumulated over the course of an individual and institution’s lifetime. Archive is considered as an invaluable a...
117
click to vote
NAACL
2007
15 years 5 months ago
2007
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...