4753 search results - page 760 / 951 » Natural Modelling of Interactive Applications |
122
Voted
MODELS
2007
Springer
15 years 8 months 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...
113
click to vote
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
104
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
128
click to vote
VISUALIZATION
2005
IEEE
15 years 8 months 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...
120
Voted
ICALP
2005
Springer
15 years 8 months 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...