4418 search results - page 81 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
151
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
146
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
135
click to vote
COLING
2010
14 years 11 months ago
2010
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
120
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
117
click to vote
ACL
2000
15 years 5 months ago
2000
Extractive summarization techniques cannot generate document summaries shorter than a single sentence, something that is often required. An ideal summarization system would unders...