13 search results - page 1 / 3 » fmoods 2006 |
FMOODS
2006
13 years 6 months ago
2006
Interface Behavior of Object-Oriented Languages with Monitors Erika
FMOODS
2006
13 years 6 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
FMOODS
2006
13 years 6 months ago
2006
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related...
FMOODS
2006
13 years 6 months ago
2006
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...
FMOODS
2006
13 years 6 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...