4139 search results - page 199 / 828 » Designing and Implementing Combinator Languages |
140
click to vote
AOSD
2010
ACM
15 years 3 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
129
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
116
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
143
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
124
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...