1965 search results - page 49 / 393 » On the analysis of interacting pushdown systems |
AB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
ICEIS
2003
IEEE
14 years 2 months ago
2003
IEEE
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
COMCOM
2011
13 years 3 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
A review of the past decade of human-computer interaction relating to environmental issues identifies three discourses whose commitments and assumptions have consequences for the ...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Advanced information retrieval systems providing automated assistance offer the opportunity to greatly enhance the effectiveness of the information retrieval process. One issue in...