1345 search results - page 206 / 269 » A Class of Logarithmic Integrals |
142
click to vote
APSEC
1999
IEEE
15 years 10 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...
156
click to vote
SIGGRAPH
1999
ACM
15 years 10 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...
152
click to vote
ICSM
1999
IEEE
15 years 10 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 ...
170
click to vote
ICNP
1998
IEEE
15 years 10 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...
186
click to vote
TPHOL
1998
IEEE
15 years 10 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...