572 search results - page 60 / 115 » Formal Properties of Metrical Structure |
ICAPR
2005
Springer
14 years 3 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
ICAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
APSEC
2002
IEEE
14 years 3 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...