4360 search results - page 281 / 872 » Socio-technical systems: From design methods to systems engi... |
160
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
185
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
196
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
164
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
The utility of an enterprise search system is determined by three key players: the information retrieval (IR) system (the search engine), the enterprise users, and the service pro...
209
click to vote
VLDB
2007
ACM
16 years 25 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...