1501 search results - page 79 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
162
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
141
Voted
RECOMB
2003
Springer
16 years 4 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
130
click to vote
FM
2001
Springer
15 years 8 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
121
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
154
Voted
ICADL
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes an efficient client-server-based query translation approach to allowing more feasible implementation of cross-language information retrieval (CLIR) services in ...