2409 search results - page 262 / 482 » Logical systems for structured specifications |
132
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
140
click to vote
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified sy...
121
click to vote
ANLP
1997
15 years 5 months ago
1997
This paper presents a prototype system for key term manipulation and visualization in a real-world commercial environment. The system consists of two components. A preprocessor ge...
WCE
2007
15 years 5 months ago
2007
—Developed initially on the basis of electronic technology, the researches in the field of reliability have proved their generality, so they can be applied to any technical syste...
120
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...