Sciweavers

10454 search results - page 1727 / 2091
» Modeling the Experience of Emotion
Sort
View
PASTE
2005
ACM
16 years 13 days ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
SC
2005
ACM
16 years 13 days ago
Dynamic Data-Driven Inversion For Terascale Simulations: Real-Time Identification Of Airborne Contaminants
In contrast to traditional terascale simulations that have known, fixed data inputs, dynamic data-driven (DDD) applications are characterized by unknown data and informed by dynam...
Volkan Akcelik, George Biros, Andrei Draganescu, J...
SC
2005
ACM
16 years 13 days ago
GLARE: A Grid Activity Registration, Deployment and Provisioning Framework
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
Mumtaz Siddiqui, Alex Villazón, Jürgen...
SIGCSE
2005
ACM
179views Education» more  SIGCSE 2005»
16 years 13 days ago
Design patterns for database pedagogy: a proposal
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
Thomas J. Marlowe, Cyril S. Ku, James W. Benham
WWW
2005
ACM
16 years 13 days ago
Finding the boundaries of information resources on the web
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
Pavel Dmitriev, Carl Lagoze, Boris Suchkov
« Prev « First page 1727 / 2091 Last » Next »