33 search results - page 7 / 7 » Maintaining Formal Models of Living Guidelines Efficiently |
CIKM
1994
Springer
13 years 10 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
JUCS
2008
13 years 5 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...