878 search results - page 138 / 176 » Interacting Abstract State Machines |
176
click to vote
AIPS
2003
15 years 8 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
176
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
193
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract Microblogging is a form of online communication by which users broadcast brief text updates, also known as tweets, to the public or a selected circle of contacts. A varieg...
190
click to vote
FDL
2006
IEEE
16 years 18 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
169
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
We investigate how users interact with the results page of a WWW search engine using eye-tracking. The goal is to gain into how users browse the presented abstracts and how they s...