575 search results - page 26 / 115 » Transition systems for designing and reasoning about norms |
CSCW
2011
ACM
14 years 6 months ago
2011
ACM
Two public display systems, with different methods of posting, were deployed over several years. One, the Thank You Board, was designed to give people an outlet specifically for p...
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
EURODAC
1990
IEEE
15 years 3 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
102
click to vote
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
ICLP
2004
Springer
15 years 4 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...