Sciweavers

Share
BIRTHDAY
2005
Springer
8 years 10 months ago
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
Claus-Peter Wirth
BIRTHDAY
2005
Springer
8 years 10 months ago
Ambient Intelligence: Towards Smart Appliance Ensembles
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
José L. Encarnação, Thomas Ki...
BIRTHDAY
2005
Springer
8 years 10 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
BIRTHDAY
2005
Springer
8 years 10 months ago
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller, Andreas Meier, Volker S...
BIRTHDAY
2005
Springer
8 years 10 months ago
An Essay on Sabotage and Obstruction
Johan van Benthem
BIRTHDAY
2005
Springer
8 years 10 months ago
Modelling Evolvable Systems: A Temporal Logic View
Howard Barringer, David E. Rydeheard
BIRTHDAY
2005
Springer
8 years 10 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
BIRTHDAY
2005
Springer
9 years 1 months ago
A Characterisation of Weak Bisimulation Congruence
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...
Rob J. van Glabbeek
books