Sciweavers

510 search results - page 22 / 102
» An Algebraic Framework for Urgency
Sort
View
GC
2010
Springer
15 years 4 months ago
Intriguing Sets of Vertices of Regular Graphs
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...
Bart De Bruyn, Hiroshi Suzuki
MOBIHOC
2006
ACM
16 years 5 months ago
Balancing distance and lifetime in delay constrained ad hoc networks
This paper addresses the problem of optimizing the packet transmission schedule in an ad hoc network with end-toend delay constraints. The emphasis is to determine the proper rela...
Ben Liang, Min Dong
AIPS
2008
15 years 8 months ago
Linear Relaxation Techniques for Task Management in Uncertain Settings
In this paper, we consider the problem of assisting a busy user in managing her workload of pending tasks. We assume that our user is typically oversubscribed, and is invariably j...
Pradeep Varakantham, Stephen F. Smith
ENTCS
2002
101views more  ENTCS 2002»
15 years 6 months ago
A categorical framework for typing CCS-style process communication
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
Ralf Schweimeier
WEBDB
1999
Springer
110views Database» more  WEBDB 1999»
15 years 10 months ago
A Framework for Navigation-Driven Lazy Mediators
We propose a framework for navigation-driven evaluation of virtual mediated views. The approach is based on lazy mediators that translate incoming client navigations on a virtual ...
Bertram Ludäscher, Yannis Papakonstantinou, P...