1805 search results - page 168 / 361 » A Theory of Closure Operators |
194
click to vote
EMSOFT
2007
Springer
16 years 23 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
202
click to vote
SWS
2004
ACM
16 years 20 hour ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
181
click to vote
WDAG
2004
Springer
15 years 12 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
139
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
159
click to vote
SIGCOMM
1994
ACM
15 years 10 months ago
1994
ACM
This paper discusses congestion control from a game-theoretic perspective. There are two basic premises: (1) users are assumed to be independent and sel sh, and (2) central admini...