Sciweavers

9626 search results - page 263 / 1926
» Invariant Based Programming
Sort
View
ER
2009
Springer
112views Database» more  ER 2009»
16 years 1 months ago
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
CP
2007
Springer
16 years 22 days ago
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
IFIP
2007
Springer
16 years 21 days ago
Towards a Rule-Based Approach for Context-Aware Applications
Laura Daniele, Patricia Dockhorn Costa, Luí...
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
16 years 18 days ago
Movie-Based Multimedia Matrix Library
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
Dmitry A. Vazhenin, Alexander Vazhenin
CC
2005
Springer
16 years 3 days ago
A Compiler-Based Approach to Data Security
Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richar...