Sciweavers

15401 search results - page 2841 / 3081
» Software in Automotive Systems
Sort
View
CIA
2000
Springer
15 years 11 months ago
Applying Agents to Bioinformatics in GeneWeaver
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
Kevin Bryson, Michael Luck, Mike Joy, David T. Jon...
DIGITALCITIES
2000
Springer
15 years 11 months ago
Experiments in the Digital 'Engineering City Oulu'
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'...
Lech Krzanik, Minna Mäkäräinen
ECOOP
2000
Springer
15 years 11 months ago
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek
ITICSE
2010
ACM
15 years 11 months ago
The SOM family: virtual machines for teaching and research
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...
Michael Haupt, Robert Hirschfeld, Tobias Pape, Gre...
AGP
1999
IEEE
15 years 11 months ago
ACI1 constraints
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...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
« Prev « First page 2841 / 3081 Last » Next »