56 search results - page 10 / 12 » Implementing Object-Z with Perfect Developer |
130
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers a...
141
click to vote
SIGCOMM
2009
ACM
16 years 13 days ago
2009
ACM
SMS-based web search is different from traditional web search in that the final response to a search query is limited to a very small number of bytes (typically 1-2 SMS messages...
203
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
138
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
160
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...