3066 search results - page 31 / 614 » On Facilitating Automated Evaluation |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
ICSM
2008
IEEE
14 years 2 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
XIMEP
2005
ACM
14 years 1 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
DAC
1999
ACM
14 years 8 months ago
1999
ACM