Sciweavers

1389 search results - page 180 / 278
» Definability as hypercomputational effect
Sort
View
UML
2001
Springer
14 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ACSAC
2000
IEEE
14 years 2 months ago
Layering Boundary Protections: An Experiment in Information Assurance
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
D. Johnson, L. Benzinger
RTCSA
2000
IEEE
14 years 2 months ago
Real-time multiple video player systems
In previous years, various real-time scheduling techniques have been proposed to improve the performance of a distributed multimedia system. However, not much work has been done o...
Chris C. H. Ngan, Kam-yiu Lam
MM
2000
ACM
98views Multimedia» more  MM 2000»
14 years 2 months ago
Key-frame extraction and shot retrieval using nearest feature line (NFL)
Query by key frame or video example is a convenient and often effective way to search in video database. This paper proposes a new approach to support such searches. The main cont...
Li Zhao, Wei Qi, Stan Z. Li, Shi-Qiang Yang, HongJ...
DAWAK
2000
Springer
14 years 2 months ago
Applying Vertical Fragmentation Techniques in Logical Design of Multidimensional Databases
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
Matteo Golfarelli, Dario Maio, Stefano Rizzi