853 search results - page 110 / 171 » On Integrating Visualization Techniques for Effective Softwa... |
162
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
175
click to vote
TVCG
2010
15 years 29 days ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
175
click to vote
ESWA
2010
15 years 4 months ago
2010
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation and interface technology with physical and virtual objects in the ubiquitous comp...
157
click to vote
CN
1999
15 years 6 months ago
1999
Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a sing...
154
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...