Sciweavers

3358 search results - page 565 / 672
» Dynamic Description Logics
Sort
View
ISSTA
2009
ACM
14 years 3 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ICCS
2009
Springer
14 years 3 months ago
GRID Resource Searching on the GridSim Simulator
Nowadays, the Grid is the focus of multiple researches. Our work is centered on Resource Management for Grids as it is an opened and current research area. Decentralized, scalable ...
Antonia Gallardo, Luis Díaz de Cerio, Roc M...
MIS
2001
Springer
89views Multimedia» more  MIS 2001»
14 years 3 months ago
Multimedia Metacomputing
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
Ulrich Marder, Jernej Kovse
VR
2000
IEEE
208views Virtual Reality» more  VR 2000»
14 years 3 months ago
Virtual Environment Applications in Clinical Neuropsychology
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...
Albert A. Rizzo, J. Galen Buckwalter, Cheryl van d...
ITICSE
1999
ACM
14 years 3 months ago
A strategy for managing content complexity in algorithm animation
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
Linda Stern, Harald Søndergaard, Lee Naish