Sciweavers

2050 search results - page 351 / 410
» A formal foundation for process modeling
Sort
View
IWAN
2000
Springer
15 years 9 months ago
A Flexible IP Active Networks Architecture
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
Alex Galis, Bernhard Plattner, Jonathan M. Smith, ...
156
Voted
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 6 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
CIKM
2009
Springer
16 years 22 days ago
SPIDER: a system for scalable, parallel / distributed evaluation of large-scale RDF data
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
Hyunsik Choi, Jihoon Son, YongHyun Cho, Min Kyoung...
BMCBI
2006
103views more  BMCBI 2006»
15 years 6 months ago
Meta-All: a system for managing metabolic pathway information
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
Stephan Weise, Ivo Grosse, Christian Klukas, Dirk ...
187
Voted
KI
2010
Springer
15 years 4 months ago
Spatial Cognition: Reasoning, Action, Interaction
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
Christian Freksa, Holger Schultheis, Kerstin Schil...