1638 search results - page 300 / 328 » A General Semantics for Evaluation Logic |
101
click to vote
TOSEM
2002
14 years 11 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
119
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
141
click to vote
GIS
2010
ACM
14 years 6 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
117
click to vote
WWW
2009
ACM
15 years 6 months ago
2009
ACM
Traditional relation extraction methods require pre-specified relations and relation-specific human-tagged examples. Bootstrapping systems significantly reduce the number of tr...