2024 search results - page 63 / 405 » A Formal Model of Multi-agent Computations |
124
click to vote
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
111
click to vote
ISORC
1999
IEEE
15 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
81
Voted
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
160
click to vote
AMAI
2011
Springer
13 years 11 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
116
Voted
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...