22114 search results - page 279 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
185
click to vote
SAT
2005
Springer
16 years 20 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
177
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
187
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
206
click to vote
ICRA
2003
IEEE
16 years 14 days ago
2003
IEEE
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
220
click to vote
PEWASUN
2004
ACM
16 years 19 days ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...