1312 search results - page 232 / 263 » Quantitative Comparison of Languages |
180
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
156
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
148
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
135
click to vote
CONTEXT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
139
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...