1161 search results - page 67 / 233 » Resource Modeling for Timed Creol Models |
117
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
138
click to vote
NAACL
2010
15 years 1 months ago
2010
Image annotation, the task of automatically generating description words for a picture, is a key component in various image search and retrieval applications. Creating image datab...
137
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
134
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
101
Voted
WSC
2007
15 years 5 months ago
2007
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...