1054 search results - page 96 / 211 » Guarded Expressions in Practice |
176
click to vote
MMM
2007
Springer
16 years 19 days ago
2007
Springer
Real time rendering of animated crowds has many practical multimedia applications. The Graphics Processor Unit (GPU) is being increasingly employed to accelerate associated renderi...
147
click to vote
BIRTHDAY
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
184
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
A subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a filtering algorithm dedicated to this...
177
click to vote
ICFEM
2007
Springer
16 years 16 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
158
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...