9110 search results - page 1550 / 1822 » Formally-Based Design Evaluation |
133
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Peer-to-peer, or simply P2P, systems have recently emerged as a popular paradigm for building distributed applications. One key aspect of the P2P system design is the mechanism us...
142
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
126
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
The ability to use help-resources efficiently is an important skill in any learning environment, whether the student is in a traditional classroom or is using an Intelligent Tutor...
140
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Finding point correspondences plays an important role in automatically building statistical shape models from a training set of 3D surfaces. For the point correspondence ...
144
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...