2273 search results - page 308 / 455 » On the Expressiveness and Complexity of ATL |
MEMOCODE
2006
IEEE
15 years 4 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
SAINT
2006
IEEE
15 years 4 months ago
2006
IEEE
Context-awareness is starting to emerge as a key driving principle for the design and provisioning of pervasive services in pervasive computing environments. Semantic languages se...
SEW
2006
IEEE
15 years 4 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
ADC
2006
Springer
15 years 4 months ago
2006
Springer
Web information extraction is a fundamental issue for web information management and integrations. A common approach is to use wrappers to extract data from web pages or documents...
NPAR
2006
ACM
15 years 4 months ago
2006
ACM
We describe an algorithm for rendering animated smoke particle systems in a cartoon style. This style includes outlines and celshading. For efficient self-shadowing effects, we in...