2661 search results - page 78 / 533 » Quantum Complexity Classes |
130
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
112
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
107
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
125
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
100
Voted
TOSEM
2002
15 years 12 days ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...