2357 search results - page 268 / 472 » Computing Refactorings of Behavior Models |
123
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
160
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
145
Voted
APIN
2006
15 years 3 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
173
click to vote
MMAS
2011
Springer
14 years 10 months ago
2011
Springer
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
249
click to vote
ICCCN
2008
IEEE
15 years 10 months ago
2008
IEEE
—The core functionality of a wireless sensor network (WSN) is to detect deviations in expected normal behavior and report it to the sink. In this paper, we propose TRACK — a no...