Sciweavers

13099 search results - page 182 / 2620
» Cooperative method development
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
OAS
2003
15 years 5 months ago
Experiences with Ontology Development for Value-Added Publishing
This paper presents our practical experience of developing an ontology using the EXPLODE method for Value-Added Publishing. Value-Added Publishing is a relatively new area of elec...
Maia Hristozova, Leon Sterling
JCC
2007
71views more  JCC 2007»
15 years 4 months ago
A survey of recent developments in ab initio valence bond theory
Abstract: Starting from the 1980s and onwards, Valence Bond theory has been enjoying renaissance that is characterized by the development of a growing number of ab initio methods, ...
Philippe C. Hiberty, Sason Shaik
ISBI
2006
IEEE
16 years 5 months ago
Development of a research interface for image guided intervention: initial application to epilepsy neurosurgery
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
Xenophon Papademetris, Kenneth P. Vives, Marcello ...
CHI
2010
ACM
15 years 11 months ago
ViralVCD: tracing information-diffusion paths with low cost media in developing communities
We describe ViralVCD: a low cost method for tracing paths of information diffusion in developing communities using physical media. We instituted a participatory video framework fo...
Nithya Sambasivan, Ed Cutrell, Kentaro Toyama