3311 search results - page 176 / 663 » Deductive Object Programming |
ECOOPW
2004
Springer
15 years 7 months ago
2004
Springer
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...
113
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
103
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Several advanced applications, such as those dealing with the Web, need to handle data whose structure is not known a-priori. Such requirement severely limits the applicability of ...
131
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
158
click to vote
UAI
1997
15 years 3 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...