1888 search results - page 181 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
Voted
WOA
2007
15 years 5 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
144
Voted
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
135
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
160
click to vote
RTS
2006
15 years 3 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
142
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...