682 search results - page 114 / 137 » Philosophical Issues in Computer Science |
ACSC
2004
IEEE
14 years 14 days ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
ACSC
2004
IEEE
14 years 14 days ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
GG
2008
Springer
13 years 9 months ago
2008
Springer
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
AAMAS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
AR
2004
13 years 8 months ago
2004
-- An inevitable collision state for a robotic system can be defined as a state for which, no matter what the future trajectory followed by the system is, a collision with an obsta...