1588 search results - page 107 / 318 » Modular action language |
164
click to vote
USS
2008
15 years 8 months ago
2008
We present an automated, scalable, method for crafting dynamic responses to real-time network requests. Specifically, we provide a flexible technique based on natural language pro...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
152
click to vote
DBPL
1995
Springer
15 years 10 months ago
1995
Springer
We describe the Tycoon Ā approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...
161
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
158
click to vote
PG
1997
IEEE
15 years 10 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We ļ¬rst desc...