2357 search results - page 193 / 472 » Computing Refactorings of Behavior Models |
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
144
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
195
click to vote
GROUP
2009
ACM
15 years 2 months ago
2009
ACM
This paper introduces a doctoral research on open innovation solver's behavior and group factors inducing it. The research is now finishing its first year and exploratory str...
131
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Nonrigid medical image registration has many potentially applications for diagnosis and monitoring disease progression in the clinic, and is very hot in computational anatomy. How...
132
click to vote
SARA
2007
Springer
15 years 10 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...