2520 search results - page 136 / 504 » Model-checking behavioral programs |
121
click to vote
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
108
Voted
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
135
Voted
WETICE
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
84
Voted
EXPERT
2000
15 years 28 days ago
2000
The Behavior-Based Robotics course at Northwestern University is a project-oriented course that gives undergraduate and graduate students exposure to programming research-grade ro...
AGILEDC
2005
IEEE
15 years 6 months ago
2005
IEEE
This is an ethnographic study of two software development teams within the same organization, one which utilizes the Extreme Programming (XP) methodology and one which does not. T...