1830 search results - page 117 / 366 » Functional Programs as Linked Data |
107
click to vote
ML
2006
ACM
15 years 9 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
122
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
143
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
110
click to vote
IFIP
2010
Springer
15 years 7 months ago
2010
Springer
: Robotic microhandling is disturbed by the adhesion phenomenon between the micro-object and the grippers. This phenomenon is directly linked to both the object and the gripper sur...
114
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...