535 search results - page 18 / 107 » Do we need dependent types |
HCI
2007
13 years 9 months ago
2007
Although information about users is vitally important in inclusive design, its use is often limited. The literature suggests that this is, at least in part, due to the ways in whic...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
AICCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
BMCBI
2007
13 years 7 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...