Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
EC
2011
216views ECommerce» more  EC 2011»
10 years 5 months ago
Abandoning Objectives: Evolution Through the Search for Novelty Alone
man and Kenneth O. Stanley (2010). Revising the Evolutionary Computation Abstraction: Minimal Criteria Novelty Search. In: Proceedings of the Genetic and Evolutionary Computation C...
Joel Lehman, Kenneth O. Stanley
NFM
2011
223views Formal Methods» more  NFM 2011»
10 years 8 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
CORR
2009
Springer
115views Education» more  CORR 2009»
10 years 11 months ago
Bigraphical models for protein and membrane interactions
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
Giorgio Bacci, Davide Grohmann, Marino Miculan
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
10 years 11 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
FSTTCS
2010
Springer
10 years 11 months ago
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
Michael Backes, Matteo Maffei, Esfandiar Mohammadi
TSE
2010
110views more  TSE 2010»
11 years 9 hour ago
Proofs from Tests
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajaman...
TPDS
2010
185views more  TPDS 2010»
11 years 10 hour ago
All-Pairs: An Abstraction for Data-Intensive Computing on Campus Grids
s: An Abstraction for Data Intensive Computing on Campus Grids Christopher Moretti, Hoang Bui, Karen Hollingsworth, Brandon Rich, Patrick Flynn, and Douglas Thain Department of Com...
Christopher Moretti, Hoang Bui, Karen Hollingswort...
PUC
2008
116views more  PUC 2008»
11 years 1 months ago
Prototypical implementation of location-aware services based on a middleware architecture for super-distributed RFID tag infrast
of the hardware abstraction layer and of selected core middleware services. The latter enable a mobile device to store and retrieve data and position information in physical places...
Jürgen Bohn
TOSEM
2002
153views more  TOSEM 2002»
11 years 1 months ago
Automated abstraction of class diagrams
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
Alexander Egyed
ENTCS
2002
93views more  ENTCS 2002»
11 years 1 months ago
A Tool for Abstraction in Model Checking
or Abstraction in Model Checking Mar
María-del-Mar Gallardo, Jesús Mart&i...
books