4895 search results - page 434 / 979 » Tools for Grammar Engineering |
198
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
169
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
171
click to vote
ICSE
1987
IEEE-ACM
15 years 10 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
182
click to vote
AVI
2008
15 years 9 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
167
click to vote
AVI
2008
15 years 9 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...