4460 search results - page 541 / 892 » Formal methods for interactive systems |
166
Voted
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...
165
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
This paper proposes a new method to generate smooth camera movement that is collision-free in a three-dimensional virtual environment. It generates a set of cells based on cell de...
186
click to vote
SEDE
2010
15 years 4 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
273
click to vote
AR
2011
15 years 1 months ago
2011
A method to learn and reproduce robot force interactions in a Human-Robot Interaction setting is proposed. The method allows a robotic manipulator to learn to perform tasks which ...
180
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....