3742 search results - page 394 / 749 » On the Use of Formal Techniques for Validation |
174
Voted
WSC
2008
15 years 9 months ago
2008
A team's task process consists of allocation, processing and evaluation of a series of tasks. Team effectiveness emerges from interactions among team members. The interaction...
193
click to vote
ENTER
2008
Springer
15 years 8 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
184
click to vote
ECIS
2004
15 years 8 months ago
2004
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
167
click to vote
EUMAS
2006
15 years 8 months ago
2006
One of the major puzzles in performing multi-agent-based simulations is the validity of their results. Optimisation of simulation parameters can lead to results that can be deceit...
210
click to vote
PE
1998
Springer
15 years 6 months ago
1998
Springer
Asymptotic approximations are constructed for the performance measures of product form queueing networks consisting of single server, fixed rate nodes with large populations. The...