984 search results - page 143 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
111
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
120
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
127
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
172
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
151
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...