263 search results - page 37 / 53 » An Extensible Type System for Component-Based Design |
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...
WRLA
2010
13 years 7 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
ISD
1999
Springer
14 years 26 days ago
1999
Springer
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...