Sciweavers

15375 search results - page 160 / 3075
» cans 2008
Sort
View
OPODIS
2008
13 years 9 months ago
Revising Distributed UNITY Programs Is NP-Complete
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
SERVICES
2008
109views more  SERVICES 2008»
13 years 9 months ago
Specifying Flexible Charging Rules for Composable Services
Where services are offered on a commercial basis, the manner in which charges for service usage are calculated is of key importance. Services typically have associated with them a...
Brendan Jennings, Lei Xu, Eamonn de Leastar
SIGSAND
2008
13 years 9 months ago
Modelling Complex Events with Event-Driven Process Chains
: The emerging technology complex event processing can be utilized to integrate complex events into business processes and to flexibly adjust processes on changing business require...
Jonas Rommelspacher
SOCRATES
2008
100views Education» more  SOCRATES 2008»
13 years 9 months ago
Quality in eLearning. Some Results from a National Research Program
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
Patrizia Ghislandi, Anna Pedroni, Daniela Paolino,...
SWAP
2008
13 years 9 months ago
An Ontology-based Inquiry Framework
Abstract. Quality of service (QoS) and citizens satisfaction are primary objectives for any eGovernment project. Quality can be inspected directly through measurements of specific ...
Antonio Candiello, Andrea Albarelli, Agostino Cort...