2432 search results - page 124 / 487 » High-level approach to modeling of observed system behavior |
162
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
193
click to vote
IJON
2006
15 years 6 months ago
2006
ional models of cortical associative memory often take a top-down approach. We have previously described such an abstract model with a hypercolumnar structure. Here we explore a s...
157
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
146
click to vote
ADC
2005
Springer
15 years 12 months ago
2005
Springer
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
178
click to vote
DDECS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...