Sciweavers

2086 search results - page 260 / 418
» Principles of Software Evolution
Sort
View
ARCS
2005
Springer
15 years 12 months ago
The Organic Features of the AMIDAR Class of Processors
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
Stephan Gatzka, Christian Hochberger
GI
2004
Springer
15 years 11 months ago
Towards an Organic Middleware for the Smart Doorplate Project
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
Wolfgang Trumler, Faruk Bagci, Jan Petzold, Theo U...
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
15 years 11 months ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
FOSSACS
2003
Springer
15 years 11 months ago
Type Assignment for Intersections and Unions in Call-by-Value Languages
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
Joshua Dunfield, Frank Pfenning
IWQOS
2001
Springer
15 years 11 months ago
Experimental Extensions to RSVP - Remote Client and One-Pass Signalling
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
Martin Karsten