Sciweavers

462 search results - page 58 / 93
» The hyperion project: from data integration to data coordina...
Sort
View
ICPW
2007
13 years 9 months ago
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
Adrian Paschke, Harold Boley, Alexander Kozlenkov,...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
14 years 2 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
HICSS
2003
IEEE
100views Biometrics» more  HICSS 2003»
14 years 1 months ago
An Examination of DSLs for Concisely Representing Model Traversals and Transformations
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
Jeff Gray, Gabor Karsai
ICMLA
2004
13 years 9 months ago
PolyCluster: an interactive visualization approach to construct classification rules
This paper introduces a system, called PolyCluster, which adopts state-of-the-art algorithms for data visualization and integrates human domain knowledge into the construction pro...
Danyu Liu, Alan P. Sprague, Jeffrey G. Gray
ESCIENCE
2006
IEEE
14 years 1 months ago
Identifying Tools to Support Schools' Collaborative Teaching and Learning
Integration of e-Science and Grid technologies into curriculum teaching is currently an ambitious aim for teachers and school infrastructures to organise. However, it can expose c...
Hilary Smith, Joshua Underwood, Geraldine Fitzpatr...