1073 search results - page 182 / 215 » Formal Program Development with Approximations |
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
128
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
117
click to vote
VRML
2003
ACM
15 years 7 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
136
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...