Sciweavers

5904 search results - page 351 / 1181
» Requirements for a Composition Language
Sort
View
CBSE
2010
Springer
15 years 11 months ago
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
Simon Allier, Houari A. Sahraoui, Salah Sadou, St&...
ARTS
1999
Springer
15 years 11 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
TACS
1991
Springer
15 years 10 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
IM
2007
15 years 8 months ago
Policy-driven Business Management over Web Services
Service-oriented Architecture allows for reusable services to be composed in such a way that business tasks or activities are easily satisfied. However, currently there is a abst...
Stephen Gorton, Stephan Reiff-Marganiec
TAMODIA
2008
15 years 8 months ago
User Interface Migration between Mobile Devices and Digital TV
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
Fabio Paternò, Carmen Santoro, Antonio Scor...