6054 search results - page 1043 / 1211 » Implementation of Andorra-based Languages |
107
Voted
WSC
2007
15 years 3 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
100
click to vote
WSC
2008
15 years 3 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
112
Voted
ACHI
2008
IEEE
15 years 2 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
96
Voted
ACSAC
2008
IEEE
15 years 2 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
129
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...