3801 search results - page 451 / 761 » An Approach to Modeling Software Safety |
145
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...
160
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
177
click to vote
HCI
2007
15 years 8 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
155
click to vote
WSC
1998
15 years 8 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
172
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...