Sciweavers

7921 search results - page 1332 / 1585
» Process Modeling in Web Applications
Sort
View
RAS
2006
110views more  RAS 2006»
15 years 11 days ago
A methodology for provably stable behaviour-based intelligent control
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
Christopher J. Harper, Alan F. T. Winfield
TCSV
2008
84views more  TCSV 2008»
15 years 11 days ago
A Technique for Evaluation of CCD Video-Camera Noise
This paper presents a technique to identify and measure the prominent sources of sensor noise in commercially available CCD video cameras by analysis of the output images. Noise fu...
Kenji Irie, Alan E. McKinnon, Keith Unsworth, Ian ...
118
Voted
JSW
2007
134views more  JSW 2007»
15 years 10 days ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
82
Voted
FUIN
2002
80views more  FUIN 2002»
15 years 7 days ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...
JOLLI
1998
103views more  JOLLI 1998»
15 years 4 days ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur
« Prev « First page 1332 / 1585 Last » Next »