738 search results - page 61 / 148 » Object Orientation and Formal Techniques |
172
click to vote
COMPSAC
2008
IEEE
16 years 23 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
164
click to vote
ICIW
2009
IEEE
16 years 29 days ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
175
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
147
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
146
click to vote
WSC
1998
15 years 7 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...