1490 search results - page 94 / 298 » Monitoring Mobile Code |
154
click to vote
SIGSOFT
2006
ACM
16 years 8 days ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
172
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
171
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
155
click to vote
DIGITEL
2007
IEEE
16 years 20 days ago
2007
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
169
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper summarizes ongoing work with a mobile manipulator (Mobipulator). We describe the system architecture of the latest version of the robot, a hierarchy of robot motion com...