Sciweavers

26496 search results - page 295 / 5300
» An Approach to Computing Ethics
Sort
View
SPC
2005
Springer
16 years 4 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
TIDSE
2004
Springer
16 years 14 hour ago
Object Oriented Prompted Play (O2P2): A Pragmatic Approach to Interactive Narrative
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...
Daniel Roberts, Mark Wright
CHI
1998
ACM
15 years 11 months ago
A Multiple Device Approach for Supporting Whiteboard-Based Interactions
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...
Jun Rekimoto
DAC
1994
ACM
15 years 10 months ago
A Modular Partitioning Approach for Asynchronous Circuit Synthesis
Asynchronous circuits are crucial in designing low power and high performance digital systems. In this paper, we present an ecient modular partitioning approach for asynchronous c...
Ruchir Puri, Jun Gu
GI
2009
Springer
15 years 10 months ago
Bringing innovative Semantic Technology to Practice: The iQser Approach and its Use Cases
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...
Jörg Wurzer, Bela Mutschler