Sciweavers

5339 search results - page 423 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
HASE
2002
IEEE
16 years 16 days 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
16 years 16 days 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
228
Voted
SACMAT
2010
ACM
16 years 12 days 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
CDC
2009
IEEE
103views Control Systems» more  CDC 2009»
16 years 9 days 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»
16 years 56 min 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