Sciweavers

4815 search results - page 645 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
INTERNET
2002
175views more  INTERNET 2002»
15 years 4 months ago
Web Services Interaction Models, Part 1: Current Practice
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
Steve Vinoski
ICFEM
2007
Springer
15 years 11 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
185
Voted
KDD
2010
ACM
259views Data Mining» more  KDD 2010»
15 years 9 months ago
A probabilistic model for personalized tag prediction
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
Dawei Yin, Zhenzhen Xue, Liangjie Hong, Brian D. D...
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
15 years 11 months ago
Stochastic strategies for a swarm robotic assembly system
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
Loic Matthey, Spring Berman, Vijay Kumar
PDCAT
2007
Springer
15 years 11 months ago
Realistic Evaluation of Interconnection Network Performance at High Loads
Any simulation-based evaluation of an interconnection network proposal requires a good characterization of the workload. Synthetic traffic patterns based on independent traffic so...
Francisco Javier Ridruejo Perez, Javier Navaridas,...