2863 search results - page 438 / 573 » Computer modelling and natural phenomena |
170
click to vote
CONCUR
2007
Springer
16 years 21 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
172
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
182
click to vote
VISUALIZATION
2005
IEEE
16 years 3 days ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
157
click to vote
CTRSA
2005
Springer
16 years 2 days ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...
176
click to vote
ICALP
2005
Springer
16 years 1 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...