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
2232
search results - page 19 / 447
»
Formal Modeling and Analysis of Organizations
Sort
relevance
views
votes
recent
update
View
thumb
title
16
click to vote
BIOSTEC
2008
107
views
Healthcare
»
more
BIOSTEC 2008
»
Formal Analysis of Intelligent Agents for Model-Based Medicine Usage Management
13 years 8 months ago
Download
www.cs.vu.nl
Mark Hoogendoorn, Michel C. A. Klein, Zulfiqar A. ...
claim paper
Read More »
25
click to vote
FOIS
2001
79
views
Information Technology
»
more
FOIS 2001
»
An enriched knowledge model for formal ontological analysis
13 years 8 months ago
Download
www.csc.liv.ac.uk
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
claim paper
Read More »
21
click to vote
CCS
2010
ACM
209
views
Security Privacy
»
more
CCS 2010
»
Inference and analysis of formal models of botnet command and control protocols
13 years 7 months ago
Download
bitblaze.cs.berkeley.edu
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shi...
claim paper
Read More »
23
click to vote
ASM
2010
ASM
257
views
Computational Biology
»
more
ASM 2010
»
Formal Analysis in Model Management: Exploiting the Power of CZT
13 years 5 months ago
Download
www.jamesrobertwilliams.co.uk
James R. Williams, Fiona A. C. Polack, Richard F. ...
claim paper
Read More »
19
click to vote
ATAL
2007
Springer
101
views
Intelligent Agents
»
more
ATAL 2007
»
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems
14 years 1 months ago
Download
www.cs.bath.ac.uk
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
Antônio Carlos da Rocha Costa, Graçal...
claim paper
Read More »
« Prev
« First
page 19 / 447
Last »
Next »