1864 search results - page 42 / 373 » Formal topology and domains |
PDSE
1998
13 years 11 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
SEFM
2003
IEEE
14 years 3 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
ISEMANTICS
2010
13 years 8 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
We consider the Contextual Recursive Cascade Correlation model (CRCC), a model able to learn contextual mappings in structured domains. We propose a formal characterization of the ...
TCAD
2008
13 years 9 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...