1999 search results - page 215 / 400 » Dependently Typed Grammars |
191
click to vote
VL
2006
IEEE
16 years 15 days ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
167
click to vote
ADG
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
124
click to vote
ACSD
2005
IEEE
16 years 4 days ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
177
click to vote
CIMCA
2005
IEEE
16 years 4 days ago
2005
IEEE
Access control for shared resources is a complex and challenging task, in particular if the access control policy should be able to cope with different kind of sharing and collabo...
172
click to vote
ISPDC
2005
IEEE
16 years 2 days ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...