Sciweavers

227 search results - page 23 / 46
» P Systems and Finite Automata
Sort
View
DLT
2006
15 years 1 months ago
Computing by Only Observing
The paradigm of evolution/observation is based on the idea that a computing device can be obtained by combining a basic system and an observer that transforms the evolution of the ...
Matteo Cavaliere, Pierluigi Frisco, Hendrik Jan Ho...
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 3 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
IJPP
2010
137views more  IJPP 2010»
14 years 10 months ago
Parallel Option Price Valuations with the Explicit Finite Difference Method
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
Alexandros V. Gerbessiotis
CIMCA
2006
IEEE
15 years 5 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
15 years 5 months ago
Integrating Tactile and Force Feedback with Finite Element Models
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
Christopher R. Wagner, Douglas P. Perrin, Ross L. ...