Sciweavers

5196 search results - page 201 / 1040
» State of Application Assessment
Sort
View
IADIS
2004
15 years 5 months ago
Multiple Dimensions of User Satisfaction as Quality Criteria for Web Portals
In this paper, we present the application of a quality evaluation framework assessing the multiple dimensions that might affect users' satisfaction from a web portal. The fra...
Nikos Manouselis, Demetrios G. Sampson
SEMCO
2008
IEEE
15 years 10 months ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi
BIOWIRE
2007
Springer
15 years 10 months ago
Phase Patterns of Coupled Oscillators with Application to Wireless Communication
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
Albert Díaz-Guilera, Alex Arenas
BIRTHDAY
2008
Springer
15 years 6 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 4 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden