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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10182
search results - page 266 / 2037
»
Case Studies
Sort
relevance
views
votes
recent
update
View
thumb
title
167
click to vote
ENTCS
2007
103
views
more
ENTCS 2007
»
Policy-based Coordination in PAGODA: A Case Study
15 years 6 months ago
Download
www-formal.stanford.edu
PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
Carolyn L. Talcott
claim paper
Read More »
112
click to vote
ENTCS
2007
73
views
more
ENTCS 2007
»
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
15 years 6 months ago
Download
www.ic.uff.br
Carlos Bazílio, Edward Hermann Haeusler, Ma...
claim paper
Read More »
125
click to vote
ESWA
2007
99
views
more
ESWA 2007
»
Pattern recognition in time series database: A case study on financial database
15 years 6 months ago
Download
www.cse.ust.hk
Yan-Ping Huang, Chung-Chian Hsu, Sheng-Hsuan Wang
claim paper
Read More »
86
click to vote
ETS
2007
IEEE
78
views
Hardware
»
more
ETS 2007
»
Teaching in a Wireless Learning Environment: A Case Study
15 years 6 months ago
Download
www.ifets.info
Tzu-Chien Liu
claim paper
Read More »
118
click to vote
ETS
2007
IEEE
117
views
Hardware
»
more
ETS 2007
»
Concept Mapping in Science Class: A Case Study of Fifth Grade Students
15 years 6 months ago
Download
www.ifets.info
Askin Asan
claim paper
Read More »
« Prev
« First
page 266 / 2037
Last »
Next »