2273 search results - page 310 / 455 » On the Expressiveness and Complexity of ATL |
105
click to vote
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
DEXAW
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
GRAPHITE
2005
ACM
15 years 3 months ago
2005
ACM
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...