Sciweavers

7206 search results - page 220 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
EJC
2008
15 years 8 months ago
A News Index System for Global Comparisons of Many Major Topics on the Earth
In this paper, we propose a news index system which supports users who would like to observe difference in various topics (e.g. politics, economy, education, and culture) among cou...
Tomoya Noro, Bin Liu, Yosuke Nakagawa, Hao Han, Ta...
SIGSOFT
2008
ACM
16 years 7 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
AMAST
2000
Springer
15 years 10 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
WCRE
2006
IEEE
16 years 15 days ago
On Computing the Canonical Features of Software Systems
Software applications typically have many features that vary in their similarity. We define a measurement of similarity between pairs of features based on their underlying implem...
Jay Kothari, Trip Denton, Spiros Mancoridis, Ali S...