Sciweavers

581 search results - page 59 / 117
» Abstract Semantics by Observable Contexts
Sort
View
HCI
2009
14 years 7 months ago
Studying Reactive, Risky, Complex, Long-Spanning, and Collaborative Work: The Case of IT Service Delivery
Abstract. IT service delivery is challenging to study. It is characterized by interacting systems of technology, people, and organizations. The work is sometimes reactive, sometime...
Eser Kandogan, Eben M. Haber, John H. Bailey, Paul...
PVM
2007
Springer
15 years 4 months ago
Analysis of Implementation Options for MPI-2 One-Sided
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of diļ¬...
Brian Barrett, Galen M. Shipman, Andrew Lumsdaine
AAMAS
2008
Springer
14 years 10 months ago
Norms and plans as unification criteria for social collectives
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
Aldo Gangemi
FORTEST
2008
14 years 11 months ago
Testing Data Types Implementations from Algebraic Specifications
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
Marie-Claude Gaudel, Pascale Le Gall
ERCIMDL
2010
Springer
126views Education» more  ERCIMDL 2010»
14 years 8 months ago
Uncovering Hidden Qualities - Benefits of Quality Measures for Automatically Generated Metadata
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
Sascha Tönnies, Wolf-Tilo Balke