6740 search results - page 120 / 1348 » Using Classification as a Programming Language |
109
click to vote
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
116
click to vote
MEDINFO
2007
15 years 3 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 ...
126
click to vote
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
121
click to vote
CLIMA
2009
14 years 11 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...