1312 search results - page 42 / 263 » Embedded contract languages |
FLAIRS
1998
15 years 1 months ago
1998
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
104
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
121
click to vote
ESA
1998
Springer
15 years 4 months ago
1998
Springer
An ordered tree is a tree in which each node's incident edges are cyclically ordered; think of the tree as being embedded in the plane. Let A and B be two ordered trees. The e...
142
click to vote
EIS
2011
14 years 6 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
116
click to vote
ICCD
2002
IEEE
15 years 8 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...