Sciweavers

950 search results - page 112 / 190
» Developing Law-Governed Systems Using Aspects
Sort
View
ELPUB
2007
ACM
15 years 10 months ago
Enhancing Traditional Media Services Utilising Lessons Learnt from Successful Social Media Applications - Case Studies and Frame
The paper presents a framework for describing electronic media services. The framework was created by utilising earlier models and case studies of successful social media applicat...
Asta Bäck, Sari Vainikainen
HCI
2007
15 years 7 months ago
Perceptive Supplementation for an Access to Graphical Interfaces
Studies using the sensory substitution devices reveal that perceptive activity itself is embodied in a living body capable of movement and possessing its own spatial dimensions. To...
Mounia Ziat, Charles Lenay, Olivier Gapenne, John ...
PTS
2008
109views Hardware» more  PTS 2008»
15 years 7 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
ACL
1989
15 years 7 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
ATAL
2010
Springer
15 years 6 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...