4386 search results - page 92 / 878 » A Tamper-Resistant Programming Language System |
104
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
115
click to vote
MEDINFO
2007
15 years 2 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
171
click to vote
LDTA
2010
15 years 1 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
138
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
PAPM
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...