759 search results - page 49 / 152 » On formal models for social verification |
103
click to vote
SP
1996
IEEE
15 years 4 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
135
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
135
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
103
click to vote
RTCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...