302 search results - page 19 / 61 » An approach to synthesise safe systems |
113
click to vote
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Templates are a very common solution to generate code. They are used for different tasks like rendering webpages, creating Java Beans and so on. Most template systems have no noti...
INTERACT
2003
15 years 1 months ago
2003
: We describe a technique for visually tracking flashlights so that they can be used as fun, cheap, intuitive and safe interaction devices with a wide range of surfaces. Our implem...
80
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
PRICAI
2000
Springer
15 years 4 months ago
2000
Springer
Adjustable Autonomy (AA) is the name given to a variety of approaches to the task of giving outside entities the ability to change the level of autonomy of agents in an autonomous ...
117
click to vote
ICONS
2009
IEEE
15 years 7 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...