452 search results - page 63 / 91 » Symbolic Execution of Behavioral Requirements |
180
Voted
RSP
2007
IEEE
16 years 5 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
146
click to vote
SEKE
2007
Springer
16 years 14 hour ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
168
click to vote
CIBCB
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
122
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Reliable execution and analysis of an evolutionary algorithm (EA) normally requires many runs to provide reasonable assurance that stochastic effects have been properly considered...
161
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
Most current work in data mining assumes that the database is static, and a database update requires rediscovering all the patterns by scanning the entire old and new database. Su...