2520 search results - page 84 / 504 » Model-checking behavioral programs |
109
click to vote
RAID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In practice, most computer intrusions begin by misusing programs in clever ways to obtain unauthorized higher levels of privilege. One e ective way to detect intrusive ac...
103
click to vote
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
108
click to vote
ROBOCUP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The RoboCup Simulator League provides an excellent platform for research on swarm computing. Our research focuses on group behaviors emerge from collections of actors mak...
ENTCS
2006
15 years 21 days ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
112
click to vote
COR
2002
15 years 16 days ago
2002
This paper presents the fundamental theory and algorithms for identifying the most preferred alternative for a decision maker (DM) having a non-centrist (or extremist) preferentia...