5639 search results - page 979 / 1128 » Timed Abstract Non-interference |
136
Voted
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
122
Voted
WAPCV
2007
Springer
15 years 8 months ago
2007
Springer
Computational models of grounded language learning have been based on the premise that words and concepts are learned simultaneously. Given the mounting cognitive evidence for conc...
134
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
124
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
120
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...