1864 search results - page 249 / 373 » Formal topology and domains |
APN
2001
Springer
14 years 2 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
CAISE
2000
Springer
14 years 2 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...
CPM
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
TPHOL
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...