9739 search results - page 1712 / 1948 » Object-Oriented Analysis and Design |
166
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
155
click to vote
IPTPS
2005
Springer
15 years 10 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...
130
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
123
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
Scientific collaboration is largely focused on the sharing and joint analysis of scientific data and results. Today, a movement is afoot within the scientific computing community ...
126
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...