Sciweavers

2560 search results - page 172 / 512
» Analysis Tool for Honeypot Systems
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 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...
VR
2003
IEEE
110views Virtual Reality» more  VR 2003»
15 years 12 months ago
High Presence Remote Presentation in the Shared Immersive Virtual World
In this study, a remote presentation system that can be used in the shared immersive virtual world was developed. This system consists of several elemental technologies, such as t...
Tetsuro Ogi, Toshio Yamada, Michitaka Hirose, Masa...
ICECCS
1999
IEEE
83views Hardware» more  ICECCS 1999»
15 years 11 months ago
A Framework for Analyzing Configurations of Deployable Software Systems
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
Dennis Heimbigner, Richard S. Hall, Alexander L. W...
APWEB
2005
Springer
16 years 4 days ago
Collaborative Web Application for Flood Control System of Reservoirs
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
Chuntian Cheng, Kwok-wing Chau, Gang Li, Xiang-Yan...
UML
2001
Springer
15 years 11 months ago
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
Lionel C. Briand, Yvan Labiche