1257 search results - page 179 / 252 » Open Source Requirements Engineering |
106
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
125
click to vote
AAAI
2007
15 years 5 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
115
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
LREC
2008
15 years 4 months ago
2008
Spock is an open source tool for the easy deployment of time-aligned corpora. It is fully web-based, and has very limited server-side requirements. It allows the end-user to searc...
122
click to vote
GEOINFO
2004
15 years 4 months ago
2004
: The purpose of the WFS specification, proposed by the the OpenGIS Consortium (OGC), is to describe the manipulation operations over geospatial data using GML. Web servers providi...