575 search results - page 18 / 115 » Transition systems for designing and reasoning about norms |
CONEXT
2008
ACM
15 years 1 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
TABLETOP
2006
IEEE
15 years 5 months ago
2006
IEEE
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
KI
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....