21 search results - page 3 / 5 » Do You Trust Your Model Checker |
MVA
2002
13 years 7 months ago
2002
The next generation of computers might be literally wearable. Our vision of such a wearable computing device is an intelligent assistant, which is always with you and helps you to...
CMG
2001
13 years 8 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...
WSC
1997
13 years 8 months ago
1997
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
ABIALS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...