3809 search results - page 237 / 762 » Associative language descriptions |
180
click to vote
IFL
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
175
click to vote
POLICY
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
157
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
163
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
171
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...