2044 search results - page 175 / 409 » System theory for numerical analysis |
210
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
193
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
188
click to vote
ACISP
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
199
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
213
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...