Sciweavers

2111 search results - page 149 / 423
» How to Program Pervasive Systems
Sort
View
85
Voted
IADIS
2004
15 years 2 months ago
Instructional Systems Practices at USA Carnegie One Universities
In my Research Analyst capacity at the University of California Davis School of Education until November 2003, I performed a web-based research study of Instructional Systems IS a...
Maria Lorna A. Kunnath
75
Voted
ICN
2005
Springer
15 years 6 months ago
Paradis-Net
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
Guido Malpohl, Florin Isaila
PLSA
1994
15 years 4 months ago
Language and Architecture Paradigms as Object Classes
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
Diomidis Spinellis, Sophia Drossopoulou, Susan Eis...
127
Voted
INFORMS
1998
150views more  INFORMS 1998»
15 years 13 days ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
183
Voted
CP
2009
Springer
16 years 1 months ago
Propagator Groups
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...
Mikael Z. Lagerkvist, Christian Schulte