Sciweavers

262 search results - page 39 / 53
» A concurrent rule scheduling algorithm for active rules
Sort
View
IJCNN
2008
IEEE
14 years 2 months ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
John Seiffertt, Donald C. Wunsch
ICNC
2005
Springer
14 years 2 months ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca
TRUSTBUS
2010
Springer
13 years 6 months ago
Safe and Efficient Strategies for Updating Firewall Policies
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...
Zeeshan Ahmed, Abdessamad Imine, Michaël Rusi...
POPL
2009
ACM
14 years 9 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
CVPR
2004
IEEE
14 years 10 months ago
A Minimal Solution to the Generalised 3-Point Pose Problem
It is a well known classical result that given the image projections of three known world points it is possible to solve for the pose of a calibrated perspective camera to up to f...
David Nistér