Sciweavers

1791 search results - page 122 / 359
» Behavioral Operations
Sort
View
BSL
2008
98views more  BSL 2008»
15 years 4 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
FUIN
2006
125views more  FUIN 2006»
15 years 4 months ago
Associative Omega-product of Processes
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an ...
Roman R. Redziejowski
AROBOTS
1999
128views more  AROBOTS 1999»
15 years 4 months ago
Coordinated Motion and Force Control of Multi-Limbed Robotic Systems
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
Steven Dubowsky, Craig Sunada, Constantinos Mavroi...
MOC
2002
76views more  MOC 2002»
15 years 4 months ago
Localization effects and measure source terms in numerical schemes for balance laws
Abstract. This paper investigates the behavior of numerical schemes for nonlinear conservation laws with source terms. We concentrate on two significant examples: relaxation approx...
Laurent Gosse
127
Voted
ICWE
2010
Springer
15 years 3 months ago
Models and Meta Models for Transactions in Web Applications
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
Mark Douglas Jacyntho, Daniel Schwabe