9204 search results - page 1514 / 1841 » Modelling the dynamics of biosystems |
184
Voted
MSWIM
2006
ACM
16 years 22 days ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
202
click to vote
CSB
2005
IEEE
16 years 11 days ago
2005
IEEE
Searching genomes for RNA secondary structure with computational methods has become an important approach to the annotation of non-coding RNAs. However, due to the lack of effici...
170
click to vote
CEEMAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
170
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
198
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...