Sciweavers

12084 search results - page 396 / 2417
» Effect Systems with Subtyping
Sort
View
RE
2004
Springer
16 years 29 days ago
A Context-Driven Use Case Creation Process for Specifying Automotive Driver Assistance Systems
Current use case guidelines typically recommend a goal-driven process for use case creation and, in many cases, this approach indeed works sufficiently well. Yet, in our experienc...
Hannes Omasreiter, Eduard Metzker
INFOCOM
2003
IEEE
16 years 26 days ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
NCA
2003
IEEE
16 years 26 days ago
A Truthful Mechanism for Fair Load Balancing in Distributed Systems
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
Daniel Grosu, Anthony T. Chronopoulos
PG
2003
IEEE
16 years 26 days ago
OPENNPAR: A System for Developing, Programming, and Designing Non-Photorealistic Animation and Rendering
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
Nick Halper, Tobias Isenberg, Felix Ritter, Bert F...
RIDE
2003
IEEE
16 years 26 days ago
Exploiting multi-lingual text potentialities in EBMT systems
Translating documents from a source to a target language is a repetitive activity. The attempt to automate such a difficult task has been a long-term scientific dream. Among the...
Federica Mandreoli, Riccardo Martoglia, Paolo Tibe...