1830 search results - page 284 / 366 » Centering in Dynamic Semantics |
114
click to vote
CCS
2004
ACM
15 years 4 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
119
click to vote
ROBOCUP
2004
Springer
15 years 4 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
100
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
The large amount of energy consumed by Internet services represents significant and fast-growing financial and environmental costs. Increasingly, services are exploring dynamic ...
107
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
SPIN
2001
Springer
15 years 3 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...