6202 search results - page 849 / 1241 » Without Loss of Generality |
205
click to vote
APN
1992
Springer
15 years 11 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
194
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...
160
click to vote
TAPSOFT
1993
Springer
15 years 11 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...
193
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
With the rapid growth of the Internet, users' ability to publish content has created active electronic communities that provide a wealth of product information. Consumers nat...
179
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...