Sciweavers

453 search results - page 72 / 91
» Controllability analysis for current profile control in toka...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
TVCG
2008
95views more  TVCG 2008»
13 years 7 months ago
Improving the Readability of Clustered Social Networks using Node Duplication
Exploring communities is an important task in social network analysis. Such communities are currently identified using clustering methods to group actors. This approach often leads...
Nathalie Henry, Anastasia Bezerianos, Jean-Daniel ...
CCR
2000
121views more  CCR 2000»
13 years 7 months ago
mmdump: a tool for monitoring internet multimedia traffic
Internet multimedia traffic is increasing as applications like streaming media and packet telephony grow in popularity. It is important to monitor the volume and characteristics o...
Jacobus E. van der Merwe, Ramón Cáce...
JSS
2002
128views more  JSS 2002»
13 years 7 months ago
The cost of errors in software development: evidence from industry
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
J. Christopher Westland
TVCG
1998
129views more  TVCG 1998»
13 years 7 months ago
Splatting Errors and Antialiasing
—This paper describes three new results for volume rendering algorithms utilizing splatting. First, an antialiasing extension to the basic splatting algorithm is introduced that ...
Klaus Mueller, Torsten Möller, J. Edward Swan...