9110 search results - page 1544 / 1822 » Formally-Based Design Evaluation |
140
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
The IEEE 802.11 based Wireless LANs (WLANs) have emerged as a viable technology for supporting real-time applications such as Voice over IP (VoIP). Even the Personal Digital Assist...
150
click to vote
ICEBE
2007
IEEE
15 years 11 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
154
click to vote
ISCA
2007
IEEE
15 years 11 months ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...
134
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
133
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...