7557 search results - page 404 / 1512 » Modeling Timed Concurrent Systems |
186
click to vote
NETWORKING
2007
15 years 8 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
178
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
192
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
171
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
178
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...