4894 search results - page 374 / 979 » Dynamic Abstraction Planning |
178
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
179
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper considers the novel area of quality-ofinformation (QoI)-aware network management of multitasking wireless sensor networks (WSNs). Specifically, it provides an ...
208
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Abstract--This paper is about how groups solve global coordination problems such as the distributed graph coloring problem. We focused on scenarios in which agents are not able to ...
220
click to vote
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
163
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service a...