Sciweavers

3040 search results - page 496 / 608
» Synergetic Tool Environments
Sort
View
AOSE
2007
Springer
15 years 1 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
ATAL
2007
Springer
15 years 1 months ago
Towards simulating billions of agents in thousands of seconds
Building multi-agent systems that can scale up to very large number of agents is a challenging research problem. In this paper, we present Distributed Multi Agent System Framework...
I. V. Aprameya Rao, Manish Jain, Kamalakar Karlapa...
CCGRID
2007
IEEE
15 years 1 months ago
Large Scale Deployment of Molecular Docking Application on Computational Grid infrastructures for Combating Malaria
Computational grids are solutions for several biological applications like virtual screening or molecular dynamics where large amounts of computing power and storage are required....
Vinod Kasam, Jean Salzemann, Nicolas Jacq, Astrid ...
CONCUR
2007
Springer
15 years 1 months ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
ECRIME
2007
15 years 1 months ago
Behavioral response to phishing risk
Tools that aim to combat phishing attacks must take into account how and why people fall for them in order to be effective. This study reports a pilot survey of 232 computer users...
Julie S. Downs, Mandy B. Holbrook, Lorrie Faith Cr...