7681 search results - page 117 / 1537 » Typed Membrane Systems |
164
click to vote
IEEEIAS
2008
IEEE
16 years 2 hour ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
226
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
160
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
117
click to vote
CUZA
2004
15 years 5 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
131
click to vote
MOC
2002
15 years 5 months ago
2002
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...