192 search results - page 38 / 39 » Using Call Exit Analysis for Logic Program Transformation |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
GI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
MICAI
2005
Springer
14 years 1 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...