2152 search results - page 332 / 431 » A Framework for Modeling DNA Based Molecular Systems |
184
click to vote
WABI
2005
Springer
15 years 12 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
193
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
156
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A scalable approach to trust negotiation is required in Web service environments that have large and dynamic requester populations. We introduce Trust-Serv, a model-driven trust n...
175
click to vote
PDSE
1998
15 years 7 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
151
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...