FMOODS 2006 | Sciweavers

16

FMOODS
2006

91views Formal Methods» more FMOODS 2006»

Mobility Mechanisms in Service Oriented Computing

13 years 7 months ago

Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...

Claudio Guidi, Roberto Lucchi

claim paper

Read More »

9

click to vote

FMOODS
2006

103views Formal Methods» more FMOODS 2006»

Abstract Interface Behavior of Object-Oriented Languages with Monitors

13 years 7 months ago

Download folk.uio.no

Interface Behavior of Object-Oriented Languages with Monitors Erika

Erika Ábrahám, Andreas Grüner, ...

claim paper

Read More »

10

click to vote

FMOODS
2006

80views Formal Methods» more FMOODS 2006»

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata

13 years 7 months ago

Download www.di.unito.it

Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers