1345 search results - page 206 / 269 » A Class of Logarithmic Integrals |
APSEC
1999
IEEE
14 years 2 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
SIGGRAPH
1999
ACM
14 years 1 months ago
1999
ACM
The reflection of light from surfaces is a fundamental problem in computer graphics. Although many reflection models have been proposed, few take into account the wave nature of...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
ICNP
1998
IEEE
14 years 1 months ago
1998
IEEE
Providing Quality of Service (QOS) in an efficient and scalable manner in the Internet is a topic of active research. The technologies that have drawn the most attention are Integ...
TPHOL
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...