3082 search results - page 232 / 617 » Deviation Analysis: A New Use of Model Checking |
208
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--With the increased presence of digital imaging devices, there also came an explosion in the amount of multimedia content available online. Users have transformed from pas...
176
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
184
click to vote
SIBGRAPI
2008
IEEE
16 years 27 days ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
179
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
168
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...