506 search results - page 8 / 102 » Visual Logic Programming Method Based on Structural Analysis... |
SAS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
VISSYM
2004
13 years 8 months ago
2004
This paper presents powerful surface based techniques for the analysis of complex flow fields resulting from CFD simulations. Emphasis is put on the examination of vortical struct...
APSEC
2002
IEEE
14 years 11 days ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
SEMWEB
2009
Springer
14 years 1 months ago
2009
Springer
OWL Ontology language can be very expressive. This could provide difficulty in ontology understanding process. We belief, that an ontology visualization equipped with intuitive int...
EMSOFT
2005
Springer
14 years 28 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...