This work discusses the effectiveness of desktop virtual reality as a metaphor for navigating through information in structured Web sites. The work is based on a model for informa...
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
Semantic Business Process Management is a recent and promising research area devoted to extending the results from Semantic Web Services — i.e., the application of ontology-base...
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...