3119 search results - page 608 / 624 » General Default Logic |
DLS
2008
14 years 4 days ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
DOCENG
2008
ACM
14 years 4 days ago
2008
ACM
As XML has emerged as a data representation format and as great quantities of data have been stored in the XML format, XML document design has become an important and evident issu...
DOLAP
2008
ACM
14 years 4 days ago
2008
ACM
Multidimensional analysis allows decision makers to efficiently and effectively use data analysis tools, which mainly depend on multidimensional (MD) structures of a data warehous...
ERLANG
2008
ACM
14 years 4 days ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
FASE
2008
Springer
14 years 4 days ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...