4460 search results - page 697 / 892 » Formal methods for interactive systems |
139
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
151
click to vote
LISA
2003
15 years 5 months ago
2003
Auditing a web site’s content is an arduous task. For any given page on a web server, system administrators are often ill-equipped to determine who created the document, why itâ...
136
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
152
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
143
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...