4674 search results - page 726 / 935 » cases 2008 |
134
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
152
click to vote
KBSE
2008
IEEE
16 years 28 days ago
2008
IEEE
Software vendors are unaware of how their software performs in the field. They do not know what parts of their software are used and appreciated most and have little knowledge ab...
152
click to vote
LAWEB
2008
IEEE
16 years 28 days ago
2008
IEEE
Today, with the proliferation of affordable computing, people use multiple devices to fulfill their information needs. Designers approach each device platform individually, with...
184
click to vote
LCN
2008
IEEE
16 years 28 days ago
2008
IEEE
—Network calculus is a recently developed theory dealing with queuing systems found in computer networks with focus on service guarantee analysis. In the current network calculus...
209
click to vote
MEMOCODE
2008
IEEE
16 years 28 days ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...