Sciweavers

3901 search results - page 560 / 781
» software 2008
Sort
View
SASO
2008
IEEE
16 years 27 days ago
An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems
The SYMBRION project is concerned with the development of super-large swarms of robots that dock with each other and symbiotically share energy and computational resources to form...
Maizura Mokhtar, Jon Timmis, Andy M. Tyrrell, Ran ...
SOSE
2008
IEEE
16 years 27 days ago
Ontology for Service Oriented Testing of Web Services
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
Yufeng Zhang, Hong Zhu
TABLETOP
2008
IEEE
16 years 27 days ago
A field study of knowledge workers' use of interactive horizontal displays
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...
Meredith Ringel Morris, A. J. Bernheim Brush, Bria...
TPHOL
2008
IEEE
16 years 27 days ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
WCRE
2008
IEEE
16 years 27 days ago
Data Model Reverse Engineering in Migrating a Legacy System to Java
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, D...