Sciweavers

6881 search results - page 92 / 1377
» Motivation
Sort
View
CAE
2005
15 years 6 months ago
Defining Computational Aesthetics
This paper attempts to define the discipline of Computational Aesthetics in the context of computer science, partly reflecting the contributions and comprehensive discussions of t...
Florian Hoenig
USS
2008
15 years 6 months ago
Security Benchmarking using Partial Verification
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
Thomas E. Hart, Marsha Chechik, David Lie
WSC
2007
15 years 6 months ago
Using ontologies for simulation integration
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
Perakath C. Benjamin, Kumar V. Akella, Ajay Verma
ICSE
2010
IEEE-ACM
15 years 6 months ago
Impact analysis for event-based components and systems
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
Daniel Popescu
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Self-Assembly of Infinite Structures
We review some recent results related to the self-assembly of infinite structures in the Tile Assembly Model. These results include impossibility results, as well as novel tile as...
Matthew J. Patitz, Scott M. Summers