8828 search results - page 1530 / 1766 » Formal methods in practice |
209
click to vote
IADIS
2004
15 years 8 months ago
2004
While the digital age is based on computing, computing disciplines remain conservative in their curricula and delivery methods. Computer science and information systems curricula ...
197
click to vote
FCS
2006
15 years 8 months ago
2006
Secret sharing schemes are methods for distributing a secret among n participants in such a way that any qualified subsets of participants can recover the secret, and unqualified ...
157
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We took an innovative approach to service level management for network enterprise systems by using integrated monitoring, diagnostics, and adaptation services in a service-oriente...
161
click to vote
ALENEX
2003
15 years 8 months ago
2003
We present a data structure, called a ray interpolant tree, or RI-tree, which stores a discrete set of directed lines in 3-space, each represented as a point in 4-space. Each dire...
144
click to vote
COOTS
2001
15 years 8 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...