4460 search results - page 288 / 892 » Formal methods for interactive systems |
169
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
167
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
179
click to vote
ICAT
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract. This paper presents an experimental test bed for exploring and evaluating human-robot interaction (HRI). Our system is designed around the concept of playing board games ...
145
click to vote
MEMOCODE
2005
IEEE
16 years 6 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
202
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...