1965 search results - page 173 / 393 » On the analysis of interacting pushdown systems |
188
click to vote
CMSB
2003
Springer
15 years 11 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
186
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
175
click to vote
NLDB
2000
Springer
15 years 10 months ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
182
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
186
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...