Result 1 to 20 of 105 total
Ring: a unifying meta-model and infrastructure for smalltalk source code analysis tools. (English)
Comput. Lang. Syst. Struct. 38, No. 1, 44-60 (2012).
1
Diagnosing and correcting design inconsistencies in source code with logical abduction. (English)
Sci. Comput. Program. 76, No. 12, 1113-1129 (2011).
2
Ambient contracts: verifying and enforcing ambient object compositions à la carte. (English)
Pers. Ubiquitous Comput 15, No. 4, 341-351 (2011).
3
Enabling cross-technology mobile applications with network-aware references. (English)
De Meuter, Wolfgang (ed.) et al., Coordination models and languages. 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21463-9/pbk). Lecture Notes in Computer Science 6721, 142-156 (2011).
4
Enabling cross-technology mobile applications with network-aware references (English)
COORDINATION, 142-156 (2011).
5
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (English)
SAC, 1275-1281 (2011).
6
Flocks: enabling dynamic group interactions in mobile social networking applications (English)
SAC, 425-432 (2011).
7
Context-aware tuples for the ambient. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems, OTM 2010. Confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25‒29, 2010, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16948-9/pbk). Lecture Notes in Computer Science 6427, 745-763 (2010).
8
Embedding hygiene-compatible macros in an unhygienic macro system. (English)
J. UCS 16, No. 2, 271-295, electronic only (2010).
9
An extensible interpreter framework for software transactional memory. (English)
J. UCS 16, No. 2, 221-245, electronic only (2010).
10
Predicated generic functions. Enabling context-dependent method dispatch. (English)
Baudry, Benoît (ed.) et al., Software composition. 9th international conference, SC 2010, Malaga, Spain, July 1‒2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14045-7/pbk). Lecture Notes in Computer Science 6144, 66-81 (2010).
11
ECOOP 2010 ‒ object-oriented programming. 24th European conference, Maribor, Slovenia, June 21‒25, 2010. Proceedings. (English)
Lecture Notes in Computer Science 6183. Berlin: Springer (ISBN 978-3-642-14106-5/pbk). xiii, 599~p. EUR~84.53 (2010).
12
Virtual machine support for many-core architectures: decoupling abstract from concrete concurrency models. (English)
Comput. Res. Repos. 2010, Article No. 1002.0939 (2010).
13
A hybrid visual dataflow language for coordination in mobile ad hoc networks. (English)
Clarke, Dave (ed.) et al., Coordination models and languages. 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13413-5/pbk). Lecture Notes in Computer Science 6116, 76-91 (2010).
14
Enforcing structural regularities in software using intensive. (English)
Sci. Comput. Program. 75, No. 4, 232-246 (2010).
15
Context-aware tuples for the ambient (English)
OTM Conferences (2), 745-763 (2010).
16
Predicated generic functions (English)
Software Composition, 66-81 (2010).
17
A hybrid visual dataflow language for coordination in mobile ad hoc networks (English)
COORDINATION, 76-91 (2010).
18
Intensional changes: modularizing crosscutting features (English)
SAC, 2176-2182 (2010).
19
Insertion tree phasers: efficient and scalable barrier synchronization for fine-grained parallelism (English)
HPCC, 130-137 (2010).
20
Result 1 to 20 of 105 total