746 search results - page 118 / 150 » Formal Analysis of UML-Based Designs |
127
click to vote
SAT
2010
Springer
15 years 6 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
134
click to vote
JUCS
2010
14 years 8 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
106
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
134
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
101
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...