4418 search results - page 557 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
197
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...
145
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We consider a class of algorithms related to Lempel-Ziv that incorporate restrictions on the manner in which the data can be parsed with the goal of introducing new tradeoffs betwe...
226
click to vote
WSC
2007
15 years 9 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
204
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
190
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
Reverse Nearest Neighbor (RNN) queries are of particular interest in a wide range of applications such as decision support systems, profile based marketing, data streaming, docum...