Sciweavers

3458 search results - page 313 / 692
» Abstracting Control
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
15 years 6 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
ICAI
2008
15 years 5 months ago
Behavior-based Perceptual Navigation for Semi-Autonomous Wheelchair Operations
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...
Hajime Uchiyama, Walter D. Potter
OWLED
2007
15 years 5 months ago
Mother, May I? OWL-based Policy Management at NASA
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
Michael Smith, Andrew Schain, Kendall Clark, Arlen...
SWAP
2008
15 years 5 months ago
An Ontology-based Inquiry Framework
Abstract. Quality of service (QoS) and citizens satisfaction are primary objectives for any eGovernment project. Quality can be inspected directly through measurements of specific ...
Antonio Candiello, Andrea Albarelli, Agostino Cort...
EAI
2004
15 years 5 months ago
Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
Ulrike Greiner, Erhard Rahm