Sciweavers

10790 search results - page 1840 / 2158
» Using feature models to automate model transformations
Sort
View
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Modern Distributed Systems
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
Laurent Pautet, Thomas Quinot, Samuel Tardieu
APN
2001
Springer
15 years 11 months ago
''What Is a Petri Net?''
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
Jörg Desel, Gabriel Juhás
CONCUR
2001
Springer
15 years 11 months ago
Typing Mobility in the Seal Calculus
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
EMO
2001
Springer
152views Optimization» more  EMO 2001»
15 years 11 months ago
Multi-objective Design Space Exploration of Road Trains with Evolutionary Algorithms
This paper examines the road train concept as a new alternative in long-distance freight traffic. The design of such a system is a difficult task since many different and conflicti...
Nando Laumanns, Marco Laumanns, Dirk Neunzig
SAIG
2001
Springer
15 years 11 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand
« Prev « First page 1840 / 2158 Last » Next »