Sciweavers

669 search results - page 48 / 134
» Mastering the Master Theorem
Sort
View
TEI
2010
ACM
124views Hardware» more  TEI 2010»
15 years 4 months ago
Recording inner life
“Recording Inner Life” is the title of my master’s thesis. It is a system to express the “inner life” (feelings, affects, and emotions) and record them on a long-term ba...
Elisabeth Eichhorn
RELMICS
2009
Springer
15 years 4 months ago
Collagories for Relational Adhesive Rewriting
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
Wolfram Kahl
ETFA
2006
IEEE
15 years 3 months ago
Systematic Design and Implementation of Distributed Controllers in Industrial Automation
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
Valeriy Vyatkin, Martin Hirsch 0002, Hans-Michael ...
KIVS
2005
Springer
15 years 3 months ago
P2P Replication Revisited: Mobile Infrastructures
Abstract: Traffic engineering in P2P networks deals with organizing overlay networks. The challenge of unavailability has not been mastered yet. Considering the resource allocatio...
Jens O. Oberender, Hermann de Meer
LPAR
2005
Springer
15 years 3 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska