2259 search results - page 412 / 452 » Leveraging Distributed Software Development |
113
click to vote
ASE
2008
15 years 2 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
131
Voted
COMCOM
2008
15 years 2 months ago
2008
Wired Equivalent Privacy (WEP) protocol used within the IEEE 802.11 standard has "major security flaws" thus wireless local area networks (WLANs) using the protocol are ...
132
click to vote
JCP
2006
15 years 2 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
152
click to vote
JHSN
2006
15 years 2 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
116
click to vote
ERCIM
2007
15 years 2 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...