Sciweavers

481 search results - page 17 / 97
» Toward an Abstract Computer Virology
Sort
View
MC
2003
102views Computer Science» more  MC 2003»
13 years 9 months ago
Embedded Interactive Systems: Toward Everyday Environments as the Interface
Under headings such as ubiquitous, invisible and ambient computing, new approaches to human-computer interfacing are investigated that give primacy to the physical world. It is en...
Hans-Werner Gellersen
BPSC
2007
202views Business» more  BPSC 2007»
13 years 9 months ago
Towards Autonomic Processes and Services
More than ever, computing devices are becoming more powerful and networked, organizational boundaries are dissolving, and underlying information systems become more complex, thus r...
Schahram Dustdar
ASM
2010
ASM
14 years 5 months ago
Towards Validation of Requirements Models
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
Atif Mashkoor, Abderrahman Matoussi
TPHOL
1991
IEEE
13 years 11 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
SG
2009
Springer
14 years 2 months ago
Towards the Big Picture: Enriching 3D Models with Information Visualisation and Vice Versa
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
Michael Sedlmair, Kerstin Ruhland, Fabian Hennecke...