Sciweavers

303 search results - page 39 / 61
» Knowledge Representation on Design of Storm Drainage System
Sort
View
CADE
2011
Springer
13 years 9 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
73
Voted
HICSS
2006
IEEE
93views Biometrics» more  HICSS 2006»
15 years 3 months ago
Presenting the Past: A Framework for Facilitating the Externalization and Articulation of User Activities in Desktop Environment
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
Kimmo Wideroos, Samuli Pekkola
HT
2003
ACM
15 years 2 months ago
Which semantic web?
Through scenarios in the popular press and technical papers in the research literature, the promise of the Semantic Web has raised a number of different expectations. These expect...
Catherine C. Marshall, Frank M. Shipman III
74
Voted
BMCBI
2007
146views more  BMCBI 2007»
14 years 9 months ago
Spatial location and its relevance for terminological inferences in bio-ontologies
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
Stefan Schulz, Kornél G. Markó, Udo ...
CIMCA
2005
IEEE
15 years 3 months ago
Cognitive Perception in RAFALE-SP Methodology
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
Nicolas Marilleau, Christophe Lang, Pascal Chatonn...