1026 search results - page 130 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
189
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
205
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
183
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...
173
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
164
click to vote
WCET
2010
15 years 4 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...