1814 search results - page 309 / 363 » Visual Modeling for Complex Agent-Based Simulation Systems |
ENTCS
2000
15 years 1 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
118
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Mathematical modeling for gene regulative networks (GRNs) provides an effective tool for hypothesis testing in biology. A necessary step in setting up such models is the estimati...
146
click to vote
HAPTICS
2008
IEEE
15 years 3 months ago
2008
IEEE
The well known property of haptic interaction is the high refresh rate of the haptic loop that is necessary for the stability of the interaction. Therefore, only simple computation...
122
click to vote
ACMDIS
2006
ACM
15 years 8 months ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
103
click to vote
WCE
2007
15 years 3 months ago
2007
— Renewed interest in reducing interior noise in transportation vehicles has motivated research in low frequency, structural-acoustic analysis. The internal sound field in the en...