Sciweavers

578 search results - page 86 / 116
» Analysis of Programs with Exception-Handling Constructs
Sort
View

Source Code
9636views
15 years 8 months ago
2D-3D Automatic Mesh Generation
NETGEN is an open source automatic mesh generation tool for two and three dimensions. It comes as a stand alone program with graphical user interface, or as a C++ library to be lin...
Joachim Schöberl
DBPL
2009
Springer
131views Database» more  DBPL 2009»
14 years 2 months ago
XML Security Views Revisited
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
Benoît Groz, Slawomir Staworko, Anne-C&eacut...
ERSHOV
2009
Springer
14 years 2 months ago
Standardization and Testing of Mathematical Functions
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
Victor V. Kuliamin
WMTE
2006
IEEE
14 years 1 months ago
Implementation of Intelligent Agents with Mobility in Educational Robotics Settings
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
Ilkka Jormanainen, Chiara Moroni, Yuejun Zhang, Ki...
QSIC
2005
IEEE
14 years 1 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg