3765 search results - page 501 / 753 » Formal Methods for Systems Engineering Behavior Models |
166
Voted
LPAR
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
179
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
182
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
273
Voted
FIW
2009
15 years 4 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
183
click to vote
WER
2007
Springer
16 years 23 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...