6343 search results - page 874 / 1269 » Development of a Cartographic Language |
163
click to vote
SPIN
2005
Springer
16 years 11 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
157
click to vote
UM
2005
Springer
16 years 11 days ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
211
click to vote
APLAS
2004
ACM
16 years 9 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
162
click to vote
WOSS
2004
ACM
16 years 9 days ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
183
click to vote
CC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...