ENTCS 2006 | Sciweavers

32

ENTCS
2006

160views more ENTCS 2006»

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

13 years 11 months ago

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

claim paper

Read More »

50

click to vote

ENTCS
2006

206views more ENTCS 2006»

An Overview of Semantic Web Services Composition Approaches

13 years 11 months ago

Download www-poleia.lip6.fr

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

claim paper

Read More »

16

click to vote

ENTCS
2006

139views more ENTCS 2006»

Analytical Modeling for Operating System Schedulers on NUMA Systems

13 years 11 months ago

Download www.pucrs.br

Rafael Chanin, Mônica Corrêa, Paulo Fe...

claim paper

Read More »

54

click to vote

ENTCS
2006

117views more ENTCS 2006»

Reasoning About Imperative Quantum Programs

13 years 11 months ago

Download wslc.math.ist.utl.pt

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...

claim paper

Read More »

29

click to vote

ENTCS
2006

113views more ENTCS 2006»

The Role of Back-Pressure in Implementing Latency-Insensitive Systems

13 years 11 months ago

Download www.cs.columbia.edu

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

claim paper

Read More »

42

click to vote

ENTCS
2006

112views more ENTCS 2006»

A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems

13 years 11 months ago

Download homes.dico.unimi.it

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

claim paper

Read More »

29

click to vote

ENTCS
2006

100views more ENTCS 2006»

Functors Determined by Values on Objects

13 years 11 months ago

Download users.dimi.uniud.it

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

claim paper

Read More »

35

click to vote

ENTCS
2006

146views more ENTCS 2006»

Formalizing WSBPEL Business Processes Using Process Algebra

13 years 11 months ago

Download www.lcc.uma.es

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...

claim paper

Read More »

13

click to vote

ENTCS
2006

107views more ENTCS 2006»

Separation of Synchronous and Asynchronous Communication Via Testing

13 years 11 months ago