Sciweavers

690 search results - page 52 / 138
» Web-Based Support Systems with Rough Set Analysis
Sort
View
ACSAC
2004
IEEE
15 years 3 months ago
Designing Good Deceptions in Defense of Information Systems
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
Neil C. Rowe
ASAP
2004
IEEE
124views Hardware» more  ASAP 2004»
15 years 3 months ago
Biosequence Similarity Search on the Mercury System
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
Praveen Krishnamurthy, Jeremy Buhler, Roger D. Cha...
ESCIENCE
2006
IEEE
15 years 3 months ago
Jylab: A System for Portable Scientific Computing over Distributed Platforms
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
Giorgios Kollias, Efstratios Gallopoulos
APN
2000
Springer
15 years 3 months ago
Efficient Symbolic State-Space Construction for Asynchronous Systems
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...
LADS
2007
Springer
15 years 6 months ago
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
Viviana Mascardi, Maurizio Martelli, Ivana Gungui