1724 search results - page 143 / 345 » Models for Concurrency |
126
Voted
CONCURRENCY
2008
15 years 3 months ago
2008
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
CONCURRENCY
2007
15 years 3 months ago
2007
In this paper we present JaMP, an adaptation of the OpenMP standard. JaMP is fitted to Jackal, a software-based DSM implementation for Java. While the set of supported directives...
137
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
129
click to vote
VVEIS
2007
15 years 4 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
120
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...