675 search results - page 75 / 135 » Using Fairness to Make Abstractions Work |
148
click to vote
JUCS
2010
15 years 4 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
213
click to vote
JCST
2010
15 years 12 days ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
145
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
163
click to vote
AOSE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
135
Voted
TIP
2008
15 years 5 months ago
2008
Abstract--An efficient algorithm is presented for the computation of grayscale morphological operations with arbitrary 2-D flat structuring elements (S.E.). The required computing ...