4767 search results - page 336 / 954 » Structures for Abstract Rewriting |
184
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
175
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
153
click to vote
IMECS
2007
15 years 8 months ago
2007
Abstract—Adaptive middleware and wireless networks are hot topics in many discussions today. Literature describes a lot of approaches which are based upon existing middleware tec...
188
click to vote
CTW
2004
15 years 6 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
177
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...