|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1211 occurrences of 748 keywords
|
|
|
Results
Found 1493 publication records. Showing 1493 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Brett Cannon, Eric Wohlstadter |
Automated object persistence for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 191-200, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
web storage, JavaScript, object persistence, html5, json |
8 | Kenichi Asai, Arisa Kitani |
Functional derivation of a virtual machine for delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 87-98, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization |
8 | Colin Blundell, Arun Raghavan, Milo M. K. Martin |
RETCON: transactional repair without replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France, pp. 258-269, 2010, ACM, 978-1-4503-0053-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory |
8 | Robert Harrison, Christine W. Chan |
Dyna: A Tool for Dynamic Knowledge Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation, pp. 161-181, 2009, Springer, 978-3-642-02096-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Gemma Piella |
Image Fusion for Enhanced Visualization: A Variational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 83(1), pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Perceptual contrast enhancement, Geometry-based fusion, Image fusion, Structure tensor |
8 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 76-90, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
8 | Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Phase detection using trace compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 172-181, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection |
8 | Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen, Sven Lachmund, Thomas Walter 0001 |
Filter-resistant code injection on ARM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 11-20, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
alphanumeric shellcode, filter-resistance, turing completeness |
8 | Hooman Javaheri, Guevara Noubir, Sanaa Noubir |
RF Control of Biological Systems: Applications to Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NanoNet ![In: Nano-Net - 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings, pp. 39-45, 2009, Springer, 978-3-642-04849-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
energy harvesting, wireless sensors, RF, biological system |
8 | J. Scott Miller, Peter A. Dinda, Robert P. Dick |
Evaluating a BASIC approach to sensor network node programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6, 2009, pp. 155-168, 2009, ACM, 978-1-60558-519-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, cyber-physical systems, BASIC |
8 | Michael Blow, Vinayak R. Borkar, Michael J. Carey 0001, Chris Hillery, Alexander Kotopoulis, Dmitry Lychagin, Radu Preotiuc-Pietro, Panagiotis Reveliotis, Joshua Spiegel, Till Westmann |
Updates in the AquaLogic Data Services Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1431-1442, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Sergio González-Valenzuela, Min Chen 0003, Victor C. M. Leung |
Design, Implementation and Case Study of WISEMAN: WIreless Sensors Employing Mobile AgeNts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE ![In: Mobile Wireless Middleware, Operating Systems, and Applications, Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009, Proceedings, pp. 366-380, 2009, Springer, 978-3-642-01801-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, performance evaluation, Mobile agents |
8 | Mads Ingstrup, Klaus Marius Hansen |
Modeling architectural change: Architectural scripting and its applications to reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA/ECSA ![In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009, pp. 337-340, 2009, IEEE Computer Society, 978-1-4244-4984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Joxan Jaffar, Andrew E. Santosa |
Recursive Abstractions for Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 72-88, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Frédéric Majorczyk, Jonathan-Christofer Demay |
Automated Instruction-Set Randomization for Web Applications in Diversified Redundant Systems. ![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. 978-983, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 148-168, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi |
Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 220-235, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, 7th International Conference on Computer Vision Systems, ICVS 2009, Liège, Belgium, October 13-15, 2009, Proceedings, pp. 295-304, 2009, Springer, 978-3-642-04666-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Domain-Specific Languages, Scripting Languages, Document Recognition, Table Recognition |
8 | Jesús Manuel Almendros-Jiménez |
An Encoding of XQuery in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings, pp. 145-155, 2009, Springer, 978-3-642-03554-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Anna Carpenter Cavender, Jeffrey P. Bigham, Richard E. Ladner |
ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2009, Pittsburgh, Pennsylvania, USA, October 25-28, 2009, pp. 67-74, 2009, ACM, 978-1-60558-558-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deaf and hard of hearing users, multimedia conferencing technology, classroom technology |
8 | James H. Andrews, Fatima Hussain |
Johar: a framework for developing accessible applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2009, Pittsburgh, Pennsylvania, USA, October 25-28, 2009, pp. 243-244, 2009, ACM, 978-1-60558-558-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
accessible computing, application programs |
8 | Marco Avvenuti, Alessio Vecchio |
Mobile visual access to legacy voice-based applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 6th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2009, Nice, France, September 2-4, 2009, 2009, ACM, 978-1-60558-536-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java micro edition, mobile devices, Android, VoiceXML |
8 | Csaba Attila Marosi, Zoltán Balaton, Péter Kacsuk |
GenWrapper: A generic wrapper for running legacy applications on desktop grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-6, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jamie Cullen |
Evolutionary meta programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 81-88, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary meta compilation, evolutionary meta programming, genetic programming, evolutionary computation, grammatical evolution |
8 | Jamie Cullen |
Evolving common LISP programs in a linear-genotype evolutionary computation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 75-80, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary meta compilation, evolutionary meta programming, artificial intelligence, genetic programming, evolutionary computation, grammatical evolution |
8 | Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet |
Automatic detection of fault attack and countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WESS ![In: Proceedings of the 4th Workshop on Embedded Systems Security, WESS 2009, Grenoble, France, October 15, 2009, 2009, ACM, 978-1-60558-700-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Nicholas Paul Sheppard, Reihaneh Safavi-Naini |
On the operational semantics of rights expression languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Proceedings of the 9th ACM Workshop on Digital Rights Management, Chicago, Illinois, USA, November 9, 2009, pp. 17-28, 2009, ACM, 978-1-60558-779-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, digital rights management, rights expression languages |
8 | Jongmyung Choi, Sangjoon Park, Hoon Ko, Hyun-Joo Moon, Jongchan Lee |
Issues for Applying Instant Messaging to Smart Home Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I, pp. 649-661, 2009, Springer, 978-3-642-02453-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Appliance Collaboration, Instant Messaging, Smart Home |
8 | Andreas Blunk, Joachim Fischer, Daniel A. Sadilek |
Modelling a Debugger for an Imperative Voice Control Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, pp. 149-164, 2009, Springer, 978-3-642-04553-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Vincent Laviron, Francesco Logozzo |
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 229-244, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Mehdi Dastani |
Normative Multi-Agent Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings, pp. 247-249, 2009, Springer, 978-3-642-10202-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Areti Manataki, Yun-Heh Chen-Burger |
Analysing Supply Chain Strategies Using Knowledge-Based Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 697-704, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dell, FBPML, declarative approach, logical formal method, simulation, supply chain management, business process modelling, workflow engine |
8 | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
The architecture of the Utrecht Haskell compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 93-104, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compiler architecture, haskell, attribute grammar, aspect orientation |
8 | Peter Novák 0001, Wojciech Jamroga |
Code patterns for agent-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 105-112, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns |
8 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 26(2), pp. 171-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
8 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via Jones-optimal logic program specialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 21(1-2), pp. 5-35, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming |
8 | Luigi Liquori, Arnaud Spiwack |
FeatherTrait: A modest extension of Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(2), pp. 11:1-11:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, inheritance, language design, language semantics |
8 | Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen |
Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(2), pp. 9:1-9:49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic loop generation, Automatic parallelisms |
8 | Tina Yu, Dave Wilkinson |
A Co-Evolutionary Fuzzy System for Reservoir Well Logs Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolutionary Computation in Practice ![In: Evolutionary Computation in Practice, pp. 199-218, 2008, Springer, 978-3-540-75770-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reservoir modeling and characterization, co-operative co-evolution, well logs interpretation, fuzzy logic, genetic programming, time series |
8 | Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner |
Compilation of procedural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the 13th International Conference on 3D Web Technology, Web3D 2008, Los Angeles, California, USA, August 9-10, 2008, pp. 75-81, 2008, ACM, 978-1-60558-213-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems |
8 | Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum |
Impact of JVM superoperators on energy consumption in resource-constrained embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 23-30, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization |
8 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 1-16, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Stephan Korsholm, Martin Schoeberl, Anders P. Ravn |
Interrupt Handlers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 453-457, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jelena Mirkovic |
Privacy-safe network trace sharing via secure queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDA ![In: Proceedings of the 1st ACM workshop on Network Data Anonymization, NDA 2008, Alexandria, VA, USA, October 31, 2008, pp. 3-10, 2008, ACM, 978-1-60558-301-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
network traces, privacy, sharing, sanitization |
8 | Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, Sean W. Smith |
Traps, events, emulation, and enforcement: managing the yin and yang of virtualization-based security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMSec ![In: Proceedings of the 1st ACM Workshop on Virtual Machine Security, VMSec 2008, Alexandria, VA, USA, October 27, 2008, pp. 49-58, 2008, ACM, 978-1-60558-298-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
debugging, virtualization, security policy, traps |
8 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
Virtual machines and intermediate languages for emerging modularization mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 865-868, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language |
8 | Francesco Logozzo, Manuel Fähndrich |
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 184-188, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains |
8 | Fabio Mascarenhas, Roberto Ierusalimschy |
Efficient compilation of Lua for the CLR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 217-221, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clr, lua, compilers, dynamic languages |
8 | Felipe Rech Meneguzzi, Michael Luck |
Leveraging New Plans in AgentSpeak(PL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, pp. 111-127, 2008, Springer, 978-3-540-93919-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Fernando Gomez |
The Acquisition of Common Sense Knowledge by Being Told: An Application of NLP to Itself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, London, UK, June 24-27, 2008, Proceedings, pp. 40-51, 2008, Springer, 978-3-540-69857-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Syed Hamid Tirmizi, Juan F. Sequeda, Daniel P. Miranker |
Translating SQL Applications to the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 450-464, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 782-796, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Martin J. Eppler, Jeanne Mengis, Sabrina Bresciani |
Seven Types of Visual Ambiguity: On the Merits and Risks of Multiple Interpretations of Collaborative Visualizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 12th International Conference on Information Visualisation, IV 2008, 8-11 July 2008, London, UK, pp. 391-396, 2008, IEEE Computer Society, 978-0-7695-3268-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Thomas H. Morris, V. S. S. Nair |
Privacy Protected ELF for Private Computing on Public Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 452-457, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed computing security, private computing on public platforms, grid security |
8 | Ramón Zataraín-Cabada, María Lucía Barrón-Estrada, Guillermo Sandoval, J. Moisés Osorio-Velásquez, Eduardo Urías Barrientos, Carlos A. Reyes García |
Authoring Neuro-fuzzy Tutoring Systems for M and E-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 789-796, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distance Learning, Intelligent Tutoring System, Author Tool, M-Learning |
8 | Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón |
A Flow-Oriented Visual Language for Learning Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 486-496, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Educational Modeling Languages, Graphical authoring, Learning Design |
8 | Hyosook Jung, Jinhyun Ahn, Heejin Kim, Seongbin Park |
A JXTA-based system for smart home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24 - 26 November 2008, Linz, Austria, pp. 450-455, 2008, ACM, 978-1-60558-269-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
smart home, JXTA |
8 | Jamie Cullen |
Evolutionary Meta Compilation: Evolving Programs Using Real World Engineering Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings, pp. 414-419, 2008, Springer, 978-3-540-85856-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. ![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. 27-38, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
8 | Nicholas Caporusso |
A wearable Malossi alphabet interface for deafblind people. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008, pp. 445-448, 2008, ACM Press, 978-1-60558-141-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tactile alphabet, ubiquitous computing, multimodal feedback, deafblindness |
8 | Benjamin Canou, Vincent Balat, Emmanuel Chailloux |
O'browser: objective caml on browsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 69-78, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual machine, javascript, web browsers, objective caml, document object model |
8 | Mohamed Jemni, Oussama El Ghoul |
Using ICT to Teach Sign Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 995-996, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest |
Back to the Future in One Week - Implementing a Smalltalk VM in PyPy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S3 ![In: Self-Sustaining Systems, First Workshop, S3 2008, Potsdam, Germany, May 15-16, 2008, Revised Selected Papers, pp. 123-139, 2008, Springer, 978-3-540-89274-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape |
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 15-26, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
unit testing, symbolic execution, software model checking, system testing |
8 | Vinh Quang La |
A Study on Java Virtual Machine for Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 180-183, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Weibo Xie, Fu Ting |
Design and Implementation of the Virtual Machine Constructing on Register. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 424-430, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Zhenchun Huang, Guoqing Li |
Building Data Grid for Spatial Information Applications by Meta-Data Adapters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 18-21, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Mark Muir, Iain Lindsay, Tughrul Arslan, Ioannis Nousias, Sami Khawam, Mark Milward, Nazish Aslam, Adam Major |
Extensible software emulator for reconfigurable instruction cell based processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 21st Annual IEEE International SoC Conference, SoCC 2008, September 17-20, 2008, Radisson Hotel, Newport Beach, CA, USA, Proceedings, pp. 35-40, 2008, IEEE, 978-1-4244-2596-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Misako Nambu, Akira Okamoto, Shigeki Miyoshi, Masatsugu Sakajiri |
Dialog Support for Deafblind Persons by Conveying Backchannels through Vibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 686-689, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Vibration Information, Back-channel, Communication, Mental Workload, Deafblind |
8 | Pedro J. Morcillo, Ginés Moreno |
Programming with Fuzzy Logic Rules by Using the FLOPER Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 119-126, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rule-Based Environments, Fuzzy Logic Programming |
8 | Freddy Lécué, Alain Léger, Alexandre Delteil |
DL Reasoning and AI Planning for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 445-453, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Haipeng Cheng, Zheng Chen, Bei Hua, Xinan Tang |
Scalable packet classification using interpreting: a cross-platform multi-core solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 33-42, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
architecture, multithreading, network processor, packet classification, thread-level parallelism, embedded system design |
8 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 4-23, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 41-50, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
8 | Franck Barbier |
Supporting the UML State Machine Diagramsat Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 338-348, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Statecharts, model executability |
8 | Grégoire Hamon, John M. Rushby |
An operational semantics for Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(5-6), pp. 447-456, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Una-May O'Reilly, Martin Hemberg |
Integrating generative growth and evolutionary computation for form exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 8(2), pp. 163-186, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Architecture, L-systems, Evolutionary design, Grammatical evolution, Interactive evolutionary computation |
8 | Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han |
Goal-directed weakening of abstract interpretation results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(6), pp. 39, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis |
8 | Phillipa Oaks, Arthur H. M. ter Hofstede |
Guided interaction: A mechanism to enable ad hoc service interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 9(1), pp. 29-51, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Web services, Interaction, Ad hoc, Guided |
8 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. ![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. 124-139, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Dirk Kleeblatt |
Checking Dependent Types Using Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 165-182, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Sumit Gulwani, Ashish Tiwari 0001 |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 379-392, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Sye Loong Keoh, Naranker Dulay, Emil Lupu, Kevin P. Twidle, Alberto E. Schaeffer Filho, Morris Sloman, Steven Heeps, Stephen D. Strowes, Joseph S. Sventek |
Self-Managed Cell: A Middleware for Managing Body-Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), August 6-10, 2007, Philadelphia, PA, USA, pp. 1-5, 2007, IEEE Computer Society, 978-1-4244-1024-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Christopher J. F. Pickett |
Software speculative multithreading for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 929-930, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, parallelism, virtual machines, thread level speculation, speculative multithreading |
8 | Ulrike Ranger, Erhard Weinell |
The Graph Rewriting Language and Environment PROGRES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 575-576, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter |
Mirages: behavioral intercession in a mirror-based architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada, pp. 89-100, 2007, ACM, 978-1-59593-868-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AmbientTalk, mirages, reflection, metaprogramming, mirrors |
8 | Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis |
RPython: a step towards reconciling dynamically and statically typed OO languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada, pp. 53-64, 2007, ACM, 978-1-59593-868-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
JVM, Python, NET |
8 | Thomas Kotzmann, Hanspeter Mössenböck |
Run-Time Support for Optimizations Based on Escape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fifth International Symposium on Code Generation and Optimization (CGO 2007), 11-14 March 2007, San Jose, California, USA, pp. 49-60, 2007, IEEE Computer Society, 978-0-7695-2764-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Felipe Rech Meneguzzi, Michael Luck |
Composing High-Level Plans for Declarative Agent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, pp. 69-85, 2007, Springer, 978-3-540-77563-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001 |
Towards Instant Automatic Model Refinement Based on OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 167-174, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Yoshiyuki Yamashita, Masato Tsuru |
Software Pipelining for Packet Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings, pp. 446-459, 2007, Springer, 978-3-540-75443-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Dorian Miller, Karl Gyllstrom, P. David Stotts, James Culp |
Semi-transparent video interfaces to assist deaf persons in meetings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 45th Annual Southeast Regional Conference, 2007, Winston-Salem, North Carolina, USA, March 23-24, 2007, pp. 501-506, 2007, ACM, 978-1-59593-629-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
assistive technology for deaf, meeting accommodations, semi-transparent video, videoconferencing |
8 | Alex Bahouth, Steven Crites, Norman S. Matloff, Todd Williamson |
Revisiting the Issue of Performance Enhancement of Discrete Event Simulation Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 26-28 March 2007, Norfolk, Virginia, USA, pp. 114-122, 2007, IEEE Computer Society, 978-0-7695-2814-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Gregory Hughes, Peter Robinson 0001 |
Photonote evaluation: aiding students with disabilities in a lecture environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2007, Tempe, Arizona, USA, October 15-17, 2007, pp. 99-106, 2007, ACM, 978-1-59593-573-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Pawel Pietrzak, Manuel V. Hermenegildo |
Automatic Binding-Related Error Diagnosis in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 333-347, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Thomas Weigold, Thorsten Kramp, Peter Buhler |
ePVM - An Embeddable Process Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 557-564, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Xiaoyan Wang 0001, Shufen Liu, Shuqiu Li |
A Model Driven based Aspect Oriented Model Weaving Framework for Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 59-62, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Lars-Åke Fredlund, Hans Svensson |
McErlang: a model checker for a distributed functional programming language. ![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. 125-136, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal |
Lazy call-by-value evaluation. ![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. 265-276, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
debugging techniques, laziness |
8 | Yoshiyuki Yamashita, Masato Tsuru |
Code Optimization for Packet Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT Workshops ![In: 2007 International Symposium on Applications and the Internet - Workshops (SAINT 2007 Workshops), 15-19 January 2007, Hiroshima, Japan, pp. 86, 2007, IEEE Computer Society, 0-7695-2757-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1493 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|