253 search results - page 13 / 51 » A Compositional Approach for Constructing Connectors |
DEDS
2007
13 years 8 months ago
2007
This paper presents a general framework for eļ¬cient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
IEEESCC
2009
IEEE
14 years 2 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
We present a novel approach to representing and recognizing composite video events. A composite event is speciļ¬ed by a scenario, which is based on primitive events and their tem...