Sciweavers

3071 search results - page 370 / 615
» Explanatory Design Theory
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Specifying and enforcing norms in artificial institutions
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
Nicoletta Fornara, Marco Colombetti
CIKM
2008
Springer
15 years 8 months ago
An extended cooperative transaction model for xml
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
Francis Gropengießer, Kai-Uwe Sattler
DAC
2005
ACM
15 years 8 months ago
Spatially distributed 3D circuit models
Spatially distributed 3D circuit models are extracted with a segmentto-segment BEM (Boundary Element Method) algorithm for both capacitance and inverse inductance couplings rather...
Michael W. Beattie, Hui Zheng, Anirudh Devgan, Byr...
EMSOFT
2008
Springer
15 years 8 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
IE
2007
15 years 8 months ago
Exploring terra incognita: wayfinding devices for games
The ludic experience of exploring wilderness in gameworlds may be compromised by either the negative affects of disorientation or the conspicuous application of architectural prin...
Nicola J. Bidwell, Colin Lemmon, Mihai Roturu, Chr...