4930 search results - page 356 / 986 » Learning minimal abstractions |
197
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
175
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Interest in role-based access control has generated considerable research activity in recent years. A number of interesting problems related to the well known set cover p...
145
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Abstract--In this paper, we propose a lightweight and transparent management framework for TinyOS sensor networks, called L-SNMS, which minimizes the overhead of management functio...
160
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
157
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...