5639 search results - page 969 / 1128 » Timed Abstract Non-interference |
133
click to vote
SAB
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
135
click to vote
SAFECOMP
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
119
click to vote
SAGT
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. We consider network congestion games in which a finite number of non-cooperative users select paths. The aim is to mitigate the inefficiency caused by the selfish users...
167
click to vote
SIGMOD
2010
ACM
15 years 9 days ago
2010
ACM
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
118
click to vote
SIMPAR
2010
15 years 9 days ago
2010
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...