Sciweavers

3153 search results - page 412 / 631
» Programming the Grid: Component Systems for Distributed Appl...
Sort
View
CIARP
2007
Springer
15 years 10 months ago
A Method for Estimating Authentication Performance over Time, with Applications to Face Biometrics
Underlying biometrics are biological tissues that evolve over time. Hence, biometric authentication (and recognition in general) is a dynamic pattern recognition problem. We propos...
Norman Poh, Josef Kittler, Raymond S. Smith, Jose ...
LCPC
2004
Springer
15 years 9 months ago
Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
Ganesh Bikshandi, Basilio B. Fraguela, Jia Guo, Ma...
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
15 years 8 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
APVIS
2009
15 years 5 months ago
Visualizing metrics on areas of interest in software architecture diagrams
We present a new method for the combined visualization of software architecture diagrams, such as UML class diagrams or component diagrams, and software metrics defined on groups ...
Heorhiy Byelas, Alexandru Telea
BIRTHDAY
2007
Springer
15 years 8 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson