6016 search results - page 1085 / 1204 » The semantics of graphical languages |
121
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present `QUICKIES', an attempt to bring one of the most useful inventions of the 20th century into the digital age: the ubiquitous sticky notes. `QUICKIES&#...
250
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
154
click to vote
WECWIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
140
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
157
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
The ability to find tables and extract information from them is a necessary component of data mining, question answering, and other information retrieval tasks. Documents often c...