Sciweavers

2482 search results - page 287 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 9 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
ICDIM
2007
IEEE
15 years 9 months ago
Automated and scheduled maintenance of digital library collections
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
Wendy Osborn, Steve Fox
111
Voted
ICMCS
2007
IEEE
128views Multimedia» more  ICMCS 2007»
15 years 9 months ago
Interactive Visualization Tool with Graphic Table of Video Contents
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
Hervé Goeau, Jérôme Thiè...
SARA
2007
Springer
15 years 8 months ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
103
Voted
ML
2006
ACM
15 years 8 months ago
Ocsigen: typing web interaction with objective Caml
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
Vincent Balat