1481 search results - page 271 / 297 » Enriching the Software Development Process by Formal Methods |
87
Voted
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...
111
click to vote
AI
2002
Springer
14 years 11 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
BMCBI
2007
14 years 12 months ago
2007
Background: Genome assemblers have grown very large and complex in response to the need for algorithms to handle the challenges of large whole-genome sequencing projects. Many of ...
102
click to vote
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
116
click to vote
KCAP
2003
ACM
15 years 5 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...