5639 search results - page 985 / 1128 » Timed Abstract Non-interference |
128
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
116
click to vote
APPROX
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we consider two new online optimization problems (each with several variants), present similar online algorithms for both, and show that one reduces to the...
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
118
Voted
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
129
click to vote
AUTONOMICS
2008
ACM
15 years 3 months ago
2008
ACM
A prominent functionality of a Wireless Sensor Network (WSN) is environmental monitoring. For this purpose the WSN creates a model for the real world by using abstractions to pars...