769 search results - page 130 / 154 » The Chemical Reaction Model |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
CONTEXT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. As the number of mobile devices we carry grows, the job of managing those devices throughout the day becomes cumbersome. This is especially true for cell phones. Despite ...
ROBOCUP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In the Humanoid Leagues balancing during walking and running is still the biggest challenge for most of the teams. We present here some work in which a dynamic walker is ...
STDBM
2004
Springer
14 years 2 months ago
2004
Springer
Application systems often need to react with certain actions whenever some preset conditions are satisfied. In many cases, the evaluation of these conditions takes long time, but...
ACSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Intrusion detection systems (IDSs) have reached a high level of sophistication and are able to detect intrusions with a variety of methods. Unfortunately, system administrators ne...