575 search results - page 23 / 115 » Transition systems for designing and reasoning about norms |
IJMMS
1998
14 years 11 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
106
click to vote
MM
2004
ACM
15 years 4 months ago
2004
ACM
We argue that civic discourse can also be public storytelling and propose three reasons to consider this relationship: stories’ relational nature – their ability to represent ...
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
ICCS
1998
Springer
15 years 3 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
115
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...