Sciweavers

Share
ENTCS
2006
160views more  ENTCS 2006»
9 years 9 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ENTCS
2006
206views more  ENTCS 2006»
9 years 9 months ago
An Overview of Semantic Web Services Composition Approaches
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...
Yasmine Charif, Nicolas Sabouret
ENTCS
2006
139views more  ENTCS 2006»
9 years 9 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
ENTCS
2006
117views more  ENTCS 2006»
9 years 9 months ago
Reasoning About Imperative Quantum Programs
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
Rohit Chadha, Paulo Mateus, Amílcar Sernada...
ENTCS
2006
113views more  ENTCS 2006»
9 years 9 months ago
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
Luca P. Carloni
ENTCS
2006
112views more  ENTCS 2006»
9 years 9 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola
ENTCS
2006
100views more  ENTCS 2006»
9 years 9 months ago
Functors Determined by Values on Objects
Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial funct...
Daniela Cancila, Furio Honsell, Marina Lenisa
ENTCS
2006
146views more  ENTCS 2006»
9 years 9 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
107views more  ENTCS 2006»
9 years 9 months ago
Separation of Synchronous and Asynchronous Communication Via Testing
Diletta Cacciagrano, Flavio Corradini, Catuscia Pa...
ENTCS
2006
127views more  ENTCS 2006»
9 years 9 months ago
Open Bisimulation, Revisited
Sébastien Briais, Uwe Nestmann
books