Sciweavers

1099 search results - page 85 / 220
» Time management for new faculty
Sort
View
ESOP
2010
Springer
16 years 3 months ago
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
John Wickerson, Matthew J. Parkinson, Mike Dodds
INFOCOM
2007
IEEE
16 years 14 days ago
Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications
Abstract— Priority queues are essential for various network processing applications, including per-flow queueing with Quality-of-Service (QoS) guarantees, management of large fa...
Hao Wang, Bill Lin
ECWEB
2004
Springer
97views ECommerce» more  ECWEB 2004»
15 years 11 months ago
Supporting User Query Relaxation in a Recommender System
This paper presents a new technology for supporting flexible query management in recommender systems. It is aimed at guiding a user in refining her query when it fails to return ...
Nader Mirzadeh, Francesco Ricci, Mukesh Bansal
GRID
2004
Springer
15 years 11 months ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya
SIGOPSE
1998
ACM
15 years 10 months ago
MMLite: a highly componentized system architecture
MMLite is a modular system architecture that is suitable for a wide variety of hardware and applications. The system provides a selection of object-based components that are dynam...
Johannes Helander, Alessandro Forin