4615 search results - page 394 / 923 » Virtual Classes and Their Implementation |
160
click to vote
GPCE
2005
Springer
16 years 9 days ago
2005
Springer
Saving the internal data of an application in an external form is called marshalling. A generic marshaller is difficult to optimize because the format of the data that will be mars...
169
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
158
Voted
KIVS
2005
Springer
16 years 9 days ago
2005
Springer
Broadcasting is a commonly used communication primitive needed by many applications and protocols in mobile ad hoc networks (MANETs). Unfortunately, most broadcast solutions are ta...
173
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
157
click to vote
SEKE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...