1147 search results - page 175 / 230 » Termination in language-based systems |
180
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Enterprise database systems handle a variety of diverse query workloads that are of different importance to the business. For example, periodic reporting queries are usually mi...
215
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In this paper, a new Mixture model of Dynamic pedestrian-Agents (MDA) is proposed to learn the collective behavior patterns of pedestrians in crowded scenes. Collective behaviors ...
180
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
225
click to vote
ENTCS
2002
15 years 6 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
186
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...