10159 search results - page 1995 / 2032 » System Design Validation Using Formal Models |
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
PPAM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...
GIS
2009
ACM
14 years 17 days ago
2009
ACM
Traditional regression analysis derives global relationships between variables and neglects spatial variations in variables. Hence they lack the ability to systematically discover...
ICVS
2001
Springer
14 years 12 days ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...