2556 search results - page 303 / 512 » The Triconnected Abstraction of Process Models |
174
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
193
click to vote
ZUM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
197
click to vote
JMLR
2006
15 years 7 months ago
2006
We present Variable Influence Structure Analysis, or VISA, an algorithm that performs hierarchical decomposition of factored Markov decision processes. VISA uses a dynamic Bayesia...
204
click to vote
MMM
2005
Springer
16 years 23 days ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
197
click to vote
CEEMAS
2003
Springer
16 years 13 days ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...