Sciweavers

5339 search results - page 423 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
HASE
2002
IEEE
15 years 11 months ago
The Concept and Practice of Software Quality Assurance in Japan in the Global Era
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
Katsuyuki Yasuda, Shigeru Yamada
ICIP
2002
IEEE
15 years 11 months ago
Panoramic capturing and recognition of human activity
This paper presents a unified approach to human activity capturing and recognition. It targets applications such as a speaker walking, turning around, sitting and getting up from ...
Xinding Sun, B. S. Manjunath
SACMAT
2010
ACM
15 years 11 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
158
Voted
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
15 years 11 months ago
Reduced-order predictive outage compensators for networked systems
Abstract— Control systems utilizing wireless sensor and actuator networks can be severely affected by the properties of the wireless links. Radio fading and interference may caus...
Erik Henriksson, Henrik Sandberg, Karl Henrik Joha...
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen