2520 search results - page 148 / 504 » Model-checking behavioral programs |
168
click to vote
EXPERT
2006
15 years 5 months ago
2006
Many computer games use custom scripts to control the ambient behaviors of non-player characters (NPCs). Therefore, a story writer must write fragments of computer code for the hun...
146
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
171
Voted
ENTCS
2008
15 years 5 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
194
click to vote
CHI
2010
ACM
15 years 1 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
163
click to vote
ASPDAC
2012
ACM
14 years 24 days ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...