4737 search results - page 560 / 948 » The LOGIC negotiation model |
223
click to vote
MODELS
2010
Springer
15 years 6 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
311
click to vote
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...
226
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
237
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
224
click to vote
ISM
2005
IEEE
16 years 1 months ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...