2004 search results - page 341 / 401 » Comparison of Model Checking Tools for Information Systems |
DEXA
2003
Springer
15 years 5 months ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...
110
click to vote
HCI
2009
14 years 9 months ago
2009
Responsive Adaptive Display Anticipates Requests (RADAR) is a domain general system that learns to highlight an individual's preferred information displays, given the current ...
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Scale-out approach, in contrast to scale-up approach (exploring increasing performance by utilizing more powerful shared-memory servers), refers to deployment of applications on a...
BIRTHDAY
2010
Springer
15 years 1 days ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...