4460 search results - page 169 / 892 » Formal methods for interactive systems |
124
click to vote
ENTCS
2007
15 years 3 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
141
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
124
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we examine the access methods and the quality of experience of current unicast video streaming services in 3G mobile networks. A packet-switched mobile video client,...
168
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
149
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...