15253 search results - page 2811 / 3051 » Integer-Programming Software Systems |
181
click to vote
DIGITALCITIES
2000
Springer
15 years 10 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
154
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
141
click to vote
ITICSE
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di�...
190
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
152
click to vote
CGI
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...