3053 search results - page 610 / 611 » Performance of Generative Programming Based Protocol Impleme... |
108
click to vote
JCS
2008
15 years 17 days ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
ENTCS
2007
15 years 17 days ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
126
click to vote
VR
2008
IEEE
15 years 14 days ago
2008
IEEE
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
112
Voted
CN
2002
15 years 13 days ago
2002
Differentiated Services (DiffServ) is a promising architecture for the next generation Internet due to its scalable and flexible design. In DiffServ, scheduling disciplines play an...
153
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Parallel T-Coffee (PTC) was the first parallel implementation of the T-Coffee multiple sequence alignment tool. It is based on MPI and RMA mechanisms. Its purpose is t...