1654 search results - page 193 / 331 » Comparing Two Software Design Process Theories |
173
click to vote
PARELEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
168
click to vote
ICPADS
2002
IEEE
15 years 10 months ago
2002
IEEE
The emergence of mobile ad hoc sensor networks has brought new challenges to traditional network design. This paper focuses on the study at the application layer. In specific, it...
154
click to vote
APN
1995
Springer
15 years 8 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
130
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Carbon Nanotube Field-Effect Transistors (CNFETs) can potentially provide significant energy-delay-product benefits compared to silicon CMOS. However, CNFET circuits are subject t...
132
click to vote
VMCAI
2009
Springer
15 years 11 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...