645 search results - page 69 / 129 » concurrency 2007 |
100
Voted
COLCOM
2007
IEEE
15 years 2 months ago
2007
IEEE
—Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express con...
229
click to vote
POPL
2007
ACM
16 years 26 days ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
116
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
84
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Currently, user interfaces are defined by single applications but workflows may span multiple ones. In the result, users have to work with separated programs in parallel and de...
94
Voted
NETWORKS
2007
15 years 1 days ago
2007
This paper defines an incremental version of the maximum flow problem. In this model, the capacities increase over time and the resulting solution is a sequence of flows that b...