1054 search results - page 96 / 211 » Guarded Expressions in Practice |
168
click to vote
MMM
2007
Springer
16 years 12 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...
140
click to vote
BIRTHDAY
2007
Springer
16 years 9 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...
180
click to vote
CP
2007
Springer
16 years 9 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...
172
Voted
ICFEM
2007
Springer
16 years 8 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...
151
click to vote
TGC
2007
Springer
16 years 7 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...