2713 search results - page 110 / 543 » Parameterized Tree Systems |
111
Voted
COOPIS
2000
IEEE
15 years 7 months ago
2000
IEEE
Workflow management systems (WFMS) are a cornerstone of mission-criticial, possibly cross-organizational business processes. For largescale applications both their performance and ...
128
click to vote
TLDI
2009
ACM
16 years 10 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
133
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this article, we investigate a new class of control problems called Ensemble Control, a notion coming from the study of complex spin dynamics in Nuclear Magnetic Resonance (...
128
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
124
click to vote
MP
2002
15 years 3 months ago
2002
The asymptotic convergence of parameterized variants of Newton's method for the solution of nonlinear systems of equations is considered. The original system is perturbed by a...