2379 search results - page 156 / 476 » Modeling, scheduling, and simulation of switched processing ... |
145
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
131
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
133
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
130
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
116
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...