250 search results - page 38 / 50 » State Space Representation for Verification of Open Systems |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Trust and reputation measures are crucial in distributed open systems where agents need to decide whom or what to choose. Existing work has mainly focused on the reputation of sing...
184
Voted
CASES
2011
ACM
13 years 9 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
A wireless system with multiple channels is considered, where each channel has several transmission states. A user learns about the instantaneous state of an available channel by ...
PAMI
2008
14 years 9 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
HUC
2007
Springer
15 years 3 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...