4163 search results - page 89 / 833 » Enhancing surgical systems |
ATAL
2006
Springer
14 years 25 days ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
CASCON
2008
13 years 10 months ago
2008
Bug tracking systems are valuable assets for managing maintenance activities. They are widely used in open-source projects as well as in the software industry. They collect many d...
INTERACT
2003
13 years 10 months ago
2003
: When technologies are introduced into collaborative settings, people are often required to work together in new, unfamiliar ways. This can lead to problems of resistance, and eve...
FTCS
1997
13 years 10 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
AAECC
2007
Springer
13 years 9 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...