Sciweavers

7366 search results - page 560 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
CBSQ
2003
Springer
16 years 5 days ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ICT
2004
Springer
143views Communications» more  ICT 2004»
16 years 9 days ago
A Generic Event-Driven System for Managing SNMP-Enabled Communication Networks
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
Aécio Paiva Braga, Riverson Rios, Rossana M...
WETICE
2002
IEEE
15 years 12 months ago
Evaluation of a Publish/Subscribe System for Collaborative and Mobile Working
The MObile Teamwork Infrastructure for Organizations Networking (MOTION) 1 service platform that we have designed and implemented addresses an emerging requirement in the daily bu...
Pascal Fenkam, Engin Kirda, Schahram Dustdar, Hara...
EWC
2007
102views more  EWC 2007»
15 years 6 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conï¬...
Vineet R. Kamat, Julio C. Martínez
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 16 days ago
Genetic Optimization and Simulation of a Piezoelectric Pipe-Crawling Inspection Robot
- Using the Darwin2k development software, a genetic algorithm (GA) was used to design and optimize a pipecrawling robot for parameters such as mass, power consumption, and joint e...
Geoffrey Hollinger, Jeri Briscoe