Sciweavers

570 search results - page 65 / 114
» Web-Based Feature Reduction System: A Case Study
Sort
View
ECBS
2009
IEEE
89views Hardware» more  ECBS 2009»
15 years 5 months ago
Optimisation Process for Maintaining Evolvability during Software Evolution
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
Robert Brcina, Stephan Bode, Matthias Riebisch
RE
2005
Springer
15 years 3 months ago
Personal and Contextual Requirements Engineering
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
Alistair G. Sutcliffe, Stephen Fickas, McKay Moore...
CSL
2007
Springer
15 years 4 months ago
Tightening the Exchange Rates Between Automata
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
Orna Kupferman
CORR
2006
Springer
137views Education» more  CORR 2006»
14 years 10 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
RECOMB
2008
Springer
15 years 10 months ago
High-Resolution Modeling of Cellular Signaling Networks
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
Michael Baym, Chris Bakal, Norbert Perrimon, Bonni...