431 search results - page 42 / 87 » Using Formal Methods to Reason about Architectural Standards |
100
click to vote
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
DAC
2004
ACM
16 years 23 days ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...