7623 search results - page 1235 / 1525 » Constructive Volume Modeling |
133
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
142
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
126
click to vote
ISW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
150
click to vote
IWQOS
2004
Springer
15 years 10 months ago
2004
Springer
— We propose an algorithm for design and on the fly modification of the schedule of a wireless ad hoc network for provision of fair service guarantees under topological changes...
148
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...