410 search results - page 16 / 82 » Tool Support for Invariant Based Programming |
FLAIRS
2004
13 years 9 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
AVBPA
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a 3D face recognition system based on geometrically localized facial features. We propose the feature extraction procedure using the geometrical characteristics...
EWSA
2005
Springer
14 years 1 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
MAGS
2008
13 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...