1588 search results - page 107 / 318 » Modular action language |
131
click to vote
USS
2008
15 years 5 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...
129
Voted
ENTCS
2007
15 years 3 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ļ...
115
Voted
DBPL
1995
Springer
15 years 7 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...
125
Voted
CSFW
2009
IEEE
15 years 7 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...
120
Voted
PG
1997
IEEE
15 years 7 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...