Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8555
search results - page 54 / 1711
»
Property Based Coordination
Sort
relevance
views
votes
recent
update
View
thumb
title
19
click to vote
GLVLSI
2002
IEEE
73
views
VLSI
»
more
GLVLSI 2002
»
An error simulation based approach to measure error coverage of formal properties
14 years 1 months ago
Download
www.cecs.uci.edu
Paolo Azzoni, Andrea Fedeli, Franco Fummi, Grazian...
claim paper
Read More »
16
click to vote
ASIACRYPT
2006
Springer
95
views
Cryptology
»
more
ASIACRYPT 2006
»
On the Generic Construction of Identity-Based Signatures with Additional Properties
14 years 15 days ago
Download
eprint.iacr.org
David Galindo, Javier Herranz, Eike Kiltz
claim paper
Read More »
24
click to vote
DSRT
2004
IEEE
112
views
Modeling and Simulation
»
more
DSRT 2004
»
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata
14 years 14 days ago
Download
www.lisyc.univ-brest.fr
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques...
claim paper
Read More »
21
click to vote
EUROCAL
1987
104
views
Mathematics
»
more
EUROCAL 1987
»
Properties of Gröbner bases under specializations
14 years 7 days ago
Download
www.jssac.org
Patrizia M. Gianni
claim paper
Read More »
21
click to vote
FMOODS
2008
108
views
Formal Methods
»
more
FMOODS 2008
»
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
13 years 10 months ago
Download
seclab.uiuc.edu
Rohit Chadha, Carl A. Gunter, José Meseguer...
claim paper
Read More »
« Prev
« First
page 54 / 1711
Last »
Next »