14331 search results - page 2556 / 2867 » On the modeling and analysis of obligations |
194
click to vote
IWPC
2003
IEEE
16 years 26 days ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
222
click to vote
SCAM
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
201
click to vote
SMI
2003
IEEE
16 years 26 days ago
2003
IEEE
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
173
click to vote
SRDS
2003
IEEE
16 years 26 days ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
224
click to vote
VISUALIZATION
2003
IEEE
16 years 26 days ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...