572 search results - page 4 / 115 » Formal Properties of Metrical Structure |
FUIN
2006
13 years 10 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
APAQS
2000
IEEE
14 years 2 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
METRICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
DBPL
2007
Springer
14 years 4 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
CVPR
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a shape population metric that reflects the interdependencies between points observed in a set of examples. It provides a notion of topology for shape and appearance m...