1429 search results - page 49 / 286 » An Overview of the Annex System |
82
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
We give a quick overview of some key issues in (quantitative) call center management: building realistic models, developing efficient tools to simulate these models, finding qui...
193
click to vote
FROCOS
2011
Springer
14 years 10 days ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
118
Voted
HCI
2007
15 years 2 months ago
2007
It is difficult for a navigator to find a way to a given target location in an unfamiliar environment. Often, wayfinding guidance such as an overview map is provided to assist the ...
88
Voted
CN
2008
15 years 23 days ago
2008
Service and resource discovery has become an integral part of modern networked systems. In this survey we give an overview of the existing solutions for service and resource discov...
83
Voted
CASE
2011
14 years 19 days ago
2011
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...