1709 search results - page 195 / 342 » Precise Modeling of Design Patterns |
125
click to vote
SECON
2010
IEEE
14 years 11 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
106
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
133
click to vote
SPAA
1993
ACM
15 years 6 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
132
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...