Sciweavers

259 search results - page 17 / 52
» The Feasibility of Folk Science
Sort
View
CADE
2008
Springer
14 years 11 months ago
On Automating the Calculus of Relations
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
Georg Struth, Peter Höfner
HYPERTEXT
2009
ACM
14 years 8 months ago
Automatically annotating textual resources with human intentions
Annotations represent an increasingly popular means for organizing, categorizing and finding resources on the “social” web. Yet, only a small portion of the total resources av...
Markus Strohmaier, Mark Kröll, Christian K&ou...
HICSS
2010
IEEE
205views Biometrics» more  HICSS 2010»
14 years 5 months ago
Loadable Hypervisor Modules
The topic of virtualization has received renewed attention. Xen is a popular open source type-I hypervisor. The Xen hypervisor currently has limited capabilities for runtime modi...
Thomas Naughton, Geoffroy Vallée, Stephen L...
ICMT
2009
Springer
14 years 5 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
HICSS
2007
IEEE
108views Biometrics» more  HICSS 2007»
14 years 5 months ago
Addressing IT Security for Critical Control Systems
— Control systems for critical infrastructures like national power grids make increasingly use of open technologies and protocols, and the Internet. In this environment, the risk...
Martin Naedele