1864 search results - page 134 / 373 » Formal topology and domains |
192
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
168
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
158
click to vote
DGO
2003
15 years 7 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
177
click to vote
ACL
1996
15 years 7 months ago
1996
Lexicalized Tree Adjoining Grammars have proved useful for NLP. However, numerous redundancy problems face LTAGs developers, as highlighted by Vijay-Shanker and Schabes (92). We p...
176
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...