1077 search results - page 44 / 216 » Management of Evolving Specifications using Category Theory |
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
GROUP
2005
ACM
14 years 1 months ago
2005
ACM
Traditional activities change in surprising ways when computermediated communication becomes a component of the activity system. In this descriptive study, we leverage two perspec...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Human interaction depends on several individual factors such as personality, social relations, age or gender. But also the society we live in influences our behaviour. Thus cultur...
MOBIHOC
2006
ACM
14 years 7 months ago
2006
ACM
Location knowledge of nodes in a network is essential for many tasks such as routing, cooperative sensing, or service delivery in ad hoc, mobile, or sensor networks. This paper in...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Interdisciplinary design has created challenges in design collaboration due to the difficulty in communicating and coordinating across disciplines. Many tools have been developed ...