Sciweavers

599 search results - page 56 / 120
» Type System for Specializing Polymorphism
Sort
View
PDSE
2000
71views more  PDSE 2000»
13 years 9 months ago
Early Evaluation of Design Options for Distributed Systems
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
Holger Giese, Guido Wirtz
CDC
2009
IEEE
165views Control Systems» more  CDC 2009»
14 years 11 days ago
Achieving symmetric Pareto Nash equilibria using biased replicator dynamics
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
Kiran Somasundaram, John S. Baras
EUMAS
2006
13 years 9 months ago
Agent-based Architecture in An Ambient Intelligence Context
This paper provides an insight on the special requirements of accessibility content and services in an ambient intelligence context and proposes an agent-based approach into a mor...
Nikolaos I. Spanoudakis, Pavlos Moraitis
ICFP
2005
ACM
14 years 7 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
VLDB
2005
ACM
120views Database» more  VLDB 2005»
14 years 1 months ago
Efficiently Processing Queries on Interval-and-Value Tuples in Relational Databases
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
Jost Enderle, Nicole Schneider, Thomas Seidl