3228 search results - page 396 / 646 » Basics of Compiler Design |
132
click to vote
LILOG
1989
15 years 10 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
211
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
174
click to vote
CANS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
156
click to vote
PERSUASIVE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
204
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...