3507 search results - page 456 / 702 » Specialized execution environments |
191
click to vote
IWFM
2000
15 years 8 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
165
click to vote
PDSE
1998
15 years 8 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
167
click to vote
WSC
1998
15 years 8 months ago
1998
Java-based simulation presents a unique opportunity for revolutionary changes in the process of developing simulation models and in the mission of the simulation software firms th...
158
click to vote
WSC
2000
15 years 8 months ago
2000
Amongst the majority of work done in Supply Chain Simulation, papers have emerged that examine the area of model distribution. The executions of simulations on distributed hosts a...
210
click to vote
WOA
2007
15 years 7 months ago
2007
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...