1288 search results - page 148 / 258 » Integrating formal models into the programming languages cou... |
141
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
165
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
174
click to vote
DOCENG
2009
ACM
15 years 4 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
183
click to vote
JMLR
2012
13 years 8 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...
140
click to vote
IWPSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...