Semantic Scholar uses AI to extract papers important to this topic.
Recently logics for strategic ability have gained pre-eminence in the modelisation and analysis of game-theoretic scenarios. In… Expand We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time… Expand As many biopharma companies fill their drug-discovery pipeline with new blockbuster candidates every year, the integration… Expand Design patterns offer reusable solutions to particular software design problems. Design patterns automation is an approach that… Expand 1. Introduction. 2. Visual Basic Programming. 3. A Brief Survey of Component Technologies. 4. Component-Based Application Design… Expand Web GIS (geographic information systems) service systems provide various GIS services for analyzing and displaying spatial data… Expand In this paper, we describe the design and modeling of GIS service components based on the open GIS service architecture of OGQ… Expand Office 2000 is the newest office serial software of Microsoft. Besides that it have a stronger network support, it has interfaces… Expand This paper presents a component-based open GIS software system. The system was designed to conform to the international standards… Expand From the Publisher:
The Active Template Library -- fast, flexible, and reusable -- is quickly replacing the aging Microsoft… Expand