Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya B. Gokhale |
Mutable Functional Units and Their Applications on Microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings, pp. 234-239, 2001, IEEE Computer Society, 0-7695-1200-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | K. Benson |
Performing classification with an environment manipulating mutable automata (EMMA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: Proceedings of the 2000 Congress on Evolutionary Computation, CEC 2000, La Jolla, CA, USA, July 16-19, 2000., pp. 264-271, 2000, IEEE, 0-7803-6375-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Ravi Kapadia, Gautam Biswas |
Model-based Support for Mutable Parametric Design Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, USA., pp. 410-415, 1999, AAAI Press / The MIT Press, 0-262-51106-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | Guohong Cao, Mukesh Singhal |
Mutable Check-Points: A New Checkpointing Approach for Mobile Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999, pp. 270, 1999, ACM, 1-58113-099-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ella Tallyn, Alan Chalmers, Scott Pitkethly |
The mutable cursor: using the cursor as a descriptive and directive device in digital interactive stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Abstracts and Applications ![In: Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1999, Los Angeles, CA, USA, August 8-13, 1999, Abstracts and Applications, pp. 214, 1999, ACM, 1-58113-103-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Wynn L. Walker, Mary L. Kopka, Richard E. Dickerson, David S. Goodsell |
Design of stapled DNA-minor-groove-binding molecules with a mutable atom simulated annealing method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 12(6), pp. 539-546, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
21 | Liuba Shrira, Ben Yoder |
Trust but Check: Mutable Objects in Untrusted Cooperative Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS/PJW ![In: Advances in Persistent Object Systems, Proceedings of the 8th International Workshop on Persistent Object Systems (POS8) and Proceedings of the 3rd International Workshop on Persistence and Java (PJW3), Tiburon, California, USA, 1998, pp. 29-36, 1998, Morgan Kaufmann, 1-55860-585-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
21 | Wynn L. Walker, Mary L. Kopka, Richard E. Dickerson, David S. Goodsell |
Design of stapled DNA-minor-groove-binding molecules with a mutable atom simulated annealing method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 11(6), pp. 539-546, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Sanjoy K. Baruah, Azer Bestavros |
Real-Time Mutable Broadcast Disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTDB ![In: Real-Time Database and Information Systems - Research Advances, Papers from the Second International Workshop on Real-Time Databases, RTDB'97, September 18-19, 1997, Burlington, Vermont, USA., pp. 3-22, 1997, Kluwer Academic Publishers. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
21 | Krishna Kishore Dhara, Gary T. Leavens |
Weak behavioral subtyping for types with mutable objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995, pp. 91-113, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Christian Queinnec |
Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Practice of Parallel Programming ![In: Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings, pp. 70-93, 1994, Springer, 3-540-59172-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ganesh Gopalakrishnan, Mandayam K. Srivas |
Implementing Functional Programs Using Mutable Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 26(6), pp. 277-286, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Lars-Henrik Erikson, Manny Rayner |
Incorporating Mutable Arrays into Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984, pp. 101-114, 1984, Uppsala University. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
12 | Adam Chlipala |
A verified compiler for an impure functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 93-106, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler verification, interactive proof assistants |
12 | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
A relational modal logic for higher-order stateful ADTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 185-198, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations |
12 | Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani |
Safe programmable speculative parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 50-61, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
purity, rollback freedom, safety, speculative parallelism, value speculation |
12 | Robert Schaefer |
Software maturity: design as dark art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(1), pp. 1-36, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open Bisimulation for Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development V, pp. 72-132, 2009, Springer, 978-3-642-02058-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Peter W. O'Hearn, Hongseok Yang, John C. Reynolds |
Separation and information hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(3), pp. 11:1-11:50, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
resource protection, modularity, Separation logic |
12 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007 |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 581-600, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 101-110, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Field-Sensitive Value Analysis by Field-Insensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 370-386, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
A cost semantics for self-adjusting computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 186-199, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
self-adjusting computation |
12 | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow |
Comparing the performance of concurrent linked-list implementations in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009, pp. 37-46, 2009, ACM, 978-1-60558-417-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent linked list, performance, synchronization |
12 | Hiroshi Kudou, Shunn-ichiro Nakayama, Atsushi Watanabe, Tomoyuki Nagase, Yoshio Yoshioka |
A Reconfigurable-Permutation Algorithm for M_S-Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 792-797, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Kristian Støvring, Søren B. Lassen |
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 329-375, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson |
Verified programming in Guru. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 49-58, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dependently typed programming, language-based verification, operational type theory |
12 | Jan Wloka, Manu Sridharan, Frank Tip |
Refactoring for reentrancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 173-182, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reentrant code, program transformation, refactoring |
12 | Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse |
Design patterns in separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 105-116, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
design patterns, separation logic |
12 | Mathias John, Cédric Lhoussaine, Joachim Niehren |
Dynamic Compartments in the Imperative pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings, pp. 235-250, 2009, Springer, 978-3-642-03844-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
The Orc Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS/FORTE ![In: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, pp. 1-25, 2009, Springer, 978-3-642-02137-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-Order Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 440-454, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Gary T. Leavens |
Use concurrent programming models to motivate teaching of programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 43(11), pp. 93-98, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concurrency, computational models, programming models, concepts, programming language curriculum, paradigms |
12 | Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu |
Toward a Usage-Based Security Framework for Collaborative Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 11(1), pp. 3:1-3:36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
access control, Authorization, security architecture, collaborative computing, usage control, UCON |
12 | Brian Magerko |
Adaptation in Digital Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(6), pp. 87-89, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Michael K. Reiter, Asad Samar |
Quiver: Consistent and Scalable Object Sharing for Edge Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(7), pp. 878-889, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Migration, Serializability, Edge services |
12 | Emiliano Lorini, Michele Piunti, Cristiano Castelfranchi, Rino Falcone, Maria Miceli |
Anticipation and Emotions for Goal Directed Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Challenge of Anticipation ![In: The Challenge of Anticipation, A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems, pp. 135-160, 2008, Springer, 978-3-540-87701-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Luca Cardelli |
Molecules as Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, pp. 18-20, 2008, Springer, 978-3-642-03428-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | K. Rustan M. Leino, Peter Müller 0001, Angela Wallenburg |
Flexible Immutability with Frozen Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 192-208, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Caitilin de Bérigny Wall, Xiangyu Wang 0001 |
Interactive Antarctica: a museum installation based on an augmented reality system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece, pp. 319-325, 2008, ACM, 978-1-60558-248-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interactivity, augmented reality, gesture-based interaction |
12 | Darren Willis, David J. Pearce 0001, James Noble 0001 |
Caching and incrementalisation in the java query language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 1-18, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, querying, incrementalization |
12 | Henry DeYoung, Deepak Garg 0001, Frank Pfenning |
An Authorization Logic With Explicit Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 133-145, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Explicit Time, Hybrid Logic, Authorization Logic |
12 | Stéphanie Delaune, Steve Kremer, Graham Steel |
Formal Analysis of PKCS#11. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 331-344, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PKCS11, Key management, Security API |
12 | Katherine F. Moore, Dan Grossman |
High-level small-step operational semantics for transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 51-62, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity |
12 | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |
A Realizability Model for Impredicative Hoare Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 337-352, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Sriram Srinivasan 0002, Alan Mycroft |
Kilim: Isolation-Typed Actors for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 104-128, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jianhong Luo, Dezhao Chen |
An Enhanced ART2 Neural Network for Clustering Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 81-85, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Arthur Charguéraud, François Pottier |
Functional translation of a calculus of capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 213-224, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership |
12 | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
Ynot: dependent types for imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 229-240, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type theory, monads, Hoare logic, separation logic |
12 | Bongwon Suh, Ed H. Chi, Aniket Kittur, Bryan A. Pendleton |
Lifting the veil: improving accountability and social transparency in Wikipedia with wikidashboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 1037-1040, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
social transparency, wikidashboard, visualization, collaboration, trust, wiki, wikipedia, accountability |
12 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Full functional verification of linked data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 349-361, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java, verification, data structure, decision procedure, theorem prover |
12 | Md. Shariful Islam, Md. Abdul Hamid, Byung Goo Choi, Choong Seon Hong |
Securing Layer-2 Path Selection in Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISA ![In: Information Security Applications, 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers, pp. 69-83, 2008, Springer, 978-3-642-00305-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Merkle Tree-based Authentication, Layer-2 Routing, Security, Wireless Mesh Networks |
12 | Md. Shariful Islam, Young Yig Yoon, Md. Abdul Hamid, Choong Seon Hong |
A Secure Hybrid Wireless Mesh Protocol for 802.11s Mesh Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 972-985, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Secure Hybrid Wireless Mesh Protocol (SHWMP), Authentication, Wireless Mesh Network, Merkle Tree |
12 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 203-217, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hugo Carr, Jeremy V. Pitt, Alexander Artikis |
Peer Pressure as a Driver of Adaptation in Agent Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World IX, 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers, pp. 191-207, 2008, Springer, 978-3-642-02561-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Luca Cardelli |
Molecules as Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 32, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight monadic regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 1-12, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems |
12 | Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira |
A Relational Model for Confined Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 263-270, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
point-free, confined separation logic, relational |
12 | Xin Zhao 0016, Kevin Borders, Atul Prakash 0001 |
Prism: Providing Flexible and Fast Filesystem Cloning Service for Virtual Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, pp. 388-407, 2008, Springer, 978-3-540-89855-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate abstraction with indexed predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(1), pp. 4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction |
12 | Duncan Coutts, Don Stewart, Roman Leshchinskiy |
Rewriting Haskell Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 50-64, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Program fusion, Functional programming, Deforestation |
12 | Jing Feng 0004, Ian Spence |
Effects of Cognitive Training on Individual Differences in Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 279-287, 2007, Springer, 978-3-540-73330-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
engineering psychology, cognitive training, video games, individual differences, selective attention |
12 | Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001 |
Logical Reasoning for Higher-Order Functions with Local State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 361-377, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Lars Birkedal, Hongseok Yang |
Relational Parametricity and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 93-107, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Keming Du, Zhongfu Sun, Huafeng Han, Shuang Liu |
Development of a Web-based Wireless Telemonitoring System for Agro-environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume II, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 799-807, 2007, Springer, 978-0-387-77252-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GPRS/CDMA, Agro-environment, Sensors, Data acquisition, Telemonitoring |
12 | Xiongzi Ge, Dan Feng 0001, Lei Tian 0001 |
An Active Region-based Storage Mechanism in Large Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2007, 29-31 July 2007, Guilin, China, pp. 139-145, 2007, IEEE Computer Society, 0-7695-2927-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Joe Armstrong |
Erlang - Software for a Concurrent World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | David Herman |
Functional pearl: the great escape or, how to jump the border without getting caught. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 157-164, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
delimited control, continuations, dynamic binding |
12 | Min Xu, Xuxian Jiang, Ravi S. Sandhu, Xinwen Zhang |
Towards a VMM-based usage control framework for OS kernel integrity protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings, pp. 71-80, 2007, ACM, 978-1-59593-745-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
kernel integrity, operating system protection, access control, authorization, security architecture, usage control, VMM, UCON |
12 | Xuelian Lin, Jinpeng Huai, Xudong Liu 0001, Jun Han |
Active Peer to Peer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Sixth International Conference on Networking (ICN 2007), 22-28 April 2007, Sainte-Luce, Martinique, France, pp. 31, 2007, IEEE Computer Society, 978-0-7695-2805-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Active P2P, Active File, Peer to Peer, File Sharing |
12 | Jiaying Zhang, Peter Honeyman |
Hierarchical Replication Control in a Global File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 14-17 May 2007, Rio de Janeiro, Brazil, pp. 155-162, 2007, IEEE Computer Society, 0-7695-2833-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Dan Fay, Alex Shye, Sayantan Bhattacharya, Daniel A. Connors, Steve Wichmann |
An Adaptive Fault-Tolerant Memory System for FPGA-based Architectures in the Space Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 250-257, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 76-95, 2007, Springer, 978-3-540-72793-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 107-120, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
12 | Fuchun Guo, Yi Mu 0001, Zhide Chen |
Mutative Identity-Based Signatures or Dynamic Credentials Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 6th International Conference, CANS 2007, Singapore, December 8-10, 2007, Proceedings, pp. 1-14, 2007, Springer, 978-3-540-76968-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mutative Identity, ID-based Signature |
12 | Wouter Swierstra, Thorsten Altenkirch |
Beauty in the beast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 25-36, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Masayuki Nakae, Xinwen Zhang, Ravi S. Sandhu |
A general design towards secure ad-hoc collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 358, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
collaboration, access control, information flow, usage control |
12 | Limin Jia 0001, David Walker 0001 |
ILC: A Foundation for Automated Reasoning About Pointer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 131-145, 2006, Springer, 3-540-33095-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Michael Higgins, Stuart F. Roth, Jeffrey Senn, Peter Lucas 0002, Dominic Widdows |
Managing Distributed Collaboration in a Peer-to-Peer Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 569-586, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Beomjoo Seo, Roger Zimmermann |
Edge indexing in a grid for highly dynamic virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 402-411, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D object streaming, object popping problem, visibility model, spatial indexing |
12 | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
Delimited dynamic binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 26-37, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
monads, dynamic binding, delimited continuations |
12 | Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer |
PaxonDHT: Achieving Consensus in Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2006 International Symposium on Applications and the Internet (SAINT 2006), 23-27 January 2006, Phoenix, Arizona, USA, pp. 236-244, 2006, IEEE Computer Society, 0-7695-2508-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu |
A usage-based authorization framework for collaborative computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 11th ACM Symposium on Access Control Models and Technologies, SACMAT 2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings, pp. 180-189, 2006, ACM, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
access control, authorization, security architecture, collaborative computing, usage control, UCON |
12 | Vladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi |
A Scalable Autonomous Replica Management Framework for Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
John Vincent Atanasoff Symposium ![In: 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 3-6 October 2006, Sofia, Bulgaria, pp. 33-40, 2006, IEEE Computer Society, 0-7695-2643-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Peter Van Roy |
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 2-12, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marek Klonowski, Anna Lauks |
Extended Sanitizable Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2006, 9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings, pp. 343-355, 2006, Springer, 3-540-49112-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | David A. Naumann |
From Coupling Relations to Mated Invariants for Checking Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings, pp. 279-296, 2006, Springer, 3-540-44601-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | K. Subramani 0001 |
Totally Clairvoyant Scheduling with Relative Timing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 398-411, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Didier Galmiche, Dominique Larchey-Wendling |
Expressivity Properties of Boolean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, pp. 357-368, 2006, Springer, 3-540-49994-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Swaroop Sridhar, Jonathan S. Shapiro |
Type inference for unboxed types and first class mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 7, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
BitC, polymorphism, type inference, mutability |
12 | Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White |
JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006, pp. 78-88, 2006, ACM, 978-1-59593-332-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, embedded systems, Java virtual machine, IEEE 802.15.4, Sun SPOT |
12 | Anindya Banerjee 0001, David A. Naumann |
Ownership confinement ensures representation independence for object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(6), pp. 894-960, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Alias control, simulation, data refinement, confinement, relational parametricity |
12 | Anne-Marie Bosneag, Monica Brockmeyer |
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 33-40, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table |
12 | Alan Dorin |
A Co-evolutionary Epidemiological Model for Artificial Life and Death. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings, pp. 775-784, 2005, Springer, 3-540-28848-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
artificial death, co-evolution, ecosystem, Epidemiological model |
12 | John C. Reynolds |
An Overview of Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 460-469, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Didier Galmiche, Daniel Méry |
Characterizing Provability in . ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 459-473, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Bei Shui Liao, Ji Gao |
A Model of Multi-agent System Based on Policies and Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 62-71, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Giancarlo Fortino, Wilma Russo |
Multi-coordination of mobile agents: a model and a component-based architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 443-450, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
middleware, mobile agents, events, coordination model, component-based architecture |
12 | Gérard Boudol |
On Typing Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 366-380, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Nick Benton, Benjamin Leperchey |
Relational Reasoning in a Nominal Semantics for Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 86-101, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|