10575 search results - page 1995 / 2115 » Programming Languages |
115
Voted
ENTCS
2006
15 years 2 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
139
Voted
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
108
Voted
SEMWEB
2010
Springer
15 years 7 days ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
135
click to vote
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
WOTUG
2008
15 years 3 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...