Sciweavers

7209 search results - page 322 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
DAS
2008
Springer
15 years 2 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
Stephen M. Watt
FOSSACS
2008
Springer
15 years 2 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...
ADAEUROPE
2007
Springer
15 years 6 months ago
Real-Time Utilities for Ada 2005
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
Andy J. Wellings, Alan Burns
133
Voted
AC
2003
Springer
15 years 6 months ago
A Tutorial on Fingerprint Recognition
This tutorial introduces fingerprint recognition systems and their main components: sensing, feature extraction and matching. The basic technologies are surveyed and some state-of-...
Davide Maltoni
97
Voted
FASE
2001
Springer
15 years 5 months ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer