Sciweavers

4360 search results - page 226 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
ECSA
2010
Springer
15 years 6 months ago
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
Antinisca Di Marco, Francesco Gallo, Paola Inverar...
CEAS
2005
Springer
16 years 4 days ago
Implicit Queries for Email
Implicit query systems examine a document and automatically conduct searches for the most relevant information. In this paper, we offer three contributions to implicit query resea...
Joshua Goodman, Vitor R. Carvalho
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
SIGMOD
2012
ACM
242views Database» more  SIGMOD 2012»
13 years 9 months ago
Dynamic management of resources and workloads for RDBMS in cloud: a control-theoretic approach
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
Pengcheng Xiong
ISSRE
2003
IEEE
15 years 12 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...