Sciweavers

427 search results - page 56 / 86
» Framework for Goal Driven System Design
Sort
View
ICDE
2006
IEEE
198views Database» more  ICDE 2006»
14 years 10 months ago
Automating the Design and Construction of Query Forms
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
Magesh Jayapandian, H. V. Jagadish
WWW
2008
ACM
14 years 9 months ago
Using CEP technology to adapt messages exchanged by web services
Web service may be unable to interact with each other because of incompatibilities between their interfaces. In this paper, we present an event driven approach which aims at adapt...
Yehia Taher, Marie-Christine Fauvet, Marlon Dumas,...
AUTONOMICS
2008
ACM
13 years 11 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
RTSS
2009
IEEE
14 years 3 months ago
Robustness of Model-Based Simulations
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
Georgios E. Fainekos, Sriram Sankaranarayanan, Fra...
DEXA
2005
Springer
106views Database» more  DEXA 2005»
14 years 2 months ago
Personalized and Community Decision Support in eTourism Intermediaries
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...
Chien-Chih Yu