Sciweavers

3481 search results - page 543 / 697
» A New Approach to Component Testing
Sort
View
ICRA
2002
IEEE
166views Robotics» more  ICRA 2002»
15 years 11 months ago
Real Time Visualization of Robot State with Mobile Virtual Reality
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
Peter Amstutz, Andrew H. Fagg
P2P
2002
IEEE
147views Communications» more  P2P 2002»
15 years 11 months ago
Building a P2P Forum System with JXTA
Decentralized file-sharing systems like Napster [11] and Gnutella [23] have popularized the peer-to-peer approach [18,20,22], which emphasizes the use of distributed resources in ...
Emir Halepovic, Ralph Deters
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 11 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
ICWE
2010
Springer
15 years 11 months ago
Ranking the Linked Data: The Case of DBpedia
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
Roberto Mirizzi, Azzurra Ragone, Tommaso Di Noia, ...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 10 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...