4096 search results - page 652 / 820 » An Object Model for Interoperable Systems |
141
Voted
JSAC
2007
15 years 5 months ago
2007
Abstract— We consider path-based survivable service provisioning in transparent optical networks with the constraints of wavelength continuity and a limited number of add/drop po...
184
Voted
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
The 3D shape of the human body is useful for applications in fitness, games and apparel. Accurate body scanners, however, are expensive, limiting the availability of 3D body mode...
266
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
164
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
123
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...