Sciweavers

1202 search results - page 166 / 241
» Sortings for Reactive Systems
Sort
View
TR
2010
158views Hardware» more  TR 2010»
14 years 11 months ago
Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
Zai Wang, Ke Tang, Xin Yao
ICDE
2010
IEEE
241views Database» more  ICDE 2010»
16 years 4 months ago
FlexPref: A Framework for Extensible Preference Evaluation in Database Systems
Personalized database systems give users answers tailored to their personal preferences. While numerous preference evaluation methods for databases have been proposed (e.g., skylin...
Justin J. Levandoski, Mohamed F. Mokbel, Mohamed E...
BIRTHDAY
2007
Springer
15 years 8 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
HICSS
2002
IEEE
151views Biometrics» more  HICSS 2002»
15 years 9 months ago
The Study of Information System Development (ISD) Process from the Perspectives of Power Development Stage and Organizational Po
This paper is to study the information system development (ISD) by looking into fifty-six cases from the perspectives of power development stage and organizational politics. We in...
Ling-hsing Chang, Tung-Ching Lin, Sheng Wu
132
Voted
ISMIR
2001
Springer
208views Music» more  ISMIR 2001»
15 years 8 months ago
The JRing System for Computer-Assisted Musicological Analysis
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
Andreas Kornstädt