5550 search results - page 586 / 1110 » Different Approaches to Proof Systems |
198
click to vote
MSR
2005
ACM
16 years 25 days ago
2005
ACM
Diversiļ¬cation of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
191
click to vote
KI
2005
Springer
16 years 23 days ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
201
click to vote
ICADL
2003
Springer
16 years 15 days ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
197
Voted
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
216
click to vote
COOPIS
1997
IEEE
15 years 11 months ago
1997
IEEE
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...