22114 search results - page 176 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
130
click to vote
STTT
2008
15 years 6 months ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
216
Voted
ISORC
2005
IEEE
16 years 16 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
160
click to vote
PEWASUN
2005
ACM
16 years 15 days ago
2005
ACM
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...
204
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
154
Voted
WSC
2004
15 years 8 months ago
2004
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...