Sciweavers

2607 search results - page 459 / 522
» On the Architecture of System Verification Environments
Sort
View
BMCBI
2005
187views more  BMCBI 2005»
14 years 9 months ago
JAtlasView: a Java atlas-viewer for browsing biomedical 3D images and atlases
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...
Guangjie Feng, Nick Burton, Bill Hill, Duncan Davi...
IJRR
2000
137views more  IJRR 2000»
14 years 9 months ago
Technology and Field Demonstration of Robotic Search for Antarctic Meteorites
: Meteorites are the only significant source of material from other planets and asteroids, and therefore are of immense scientific value. Antarctica's frozen and pristine envi...
Dimitrios Apostolopoulos, Michael D. Wagner, Benja...
CASCON
2010
204views Education» more  CASCON 2010»
14 years 4 months ago
Effective collaboration and consistency management in business process modeling
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...
ICC
2007
IEEE
154views Communications» more  ICC 2007»
15 years 4 months ago
A Policy-Based Approach for Managing Ubiquitous Networks in Urban Spaces
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
Antonis M. Hadjiantonis, Marinos Charalambides, Ge...
DSRT
2005
IEEE
15 years 3 months ago
Modeling Real-Time Distributed Simulation Message Flow in an Open Network
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
Dennis M. Moen, J. Mark Pullen