Sciweavers

5672 search results - page 871 / 1135
» Design techniques for low-power systems
Sort
View
IIWAS
2008
15 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
WMI
2001
104views more  WMI 2001»
15 years 8 months ago
Pricing differentiated services in the GPRS environment
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IPbas...
Sergios Soursos, Costas Courcoubetis, George C. Po...
WCE
2007
15 years 7 months ago
Constrained Path Optimisation for Underground Mine Layout
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
Marcus Brazil, P. A. Grossman, D. H. Lee, J. H. Ru...
HPDC
2008
IEEE
15 years 6 months ago
Collaborative ranking of grid-enabled workflow service providers
Service Oriented Architecture (SOA) and Grid computing are very hot research topics, nowadays. While Grid computing is aimed at sharing dynamically heterogeneous resources, SOAs i...
Domenico Laforenza, Franco Maria Nardini, Fabrizio...
BIB
2008
101views more  BIB 2008»
15 years 6 months ago
Information quality in proteomics
Proteomics, the study of the protein complement of a biological system, is generating increasing quantities of data from rapidly developing technologies employed in a variety of d...
David Stead, Norman W. Paton, Paolo Missier, Suzan...