|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3119 occurrences of 1737 keywords
|
|
|
Results
Found 4274 publication records. Showing 4274 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Christian Zirpins, Wolfgang Emmerich |
A reference model of virtual service production networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 2(2-3), pp. 145-166, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Virtual service enterprises, Organisational virtualisation, Service-oriented ICT infrastructure, Service-oriented systems analysis, Conceptual modelling |
17 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 399-413, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
Automated Assume-Guarantee Reasoning by Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 135-148, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Robertson |
The study of information retrieval: a long view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIiX ![In: Proceedings of the 2nd International Conference on Information Interaction in Context, IIiX 2008, London, UK, October 14-17, 2008, pp. 1-2, 2008, ACM, 978-1-60558-310-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Denis Caromel, Mario Leyton |
ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 423-437, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Pablo Sánchez 0002, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland |
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 766-781, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alex Spokoiny, Yuval Shahar |
An active database architecture for knowledge-based incremental abstraction of complex concepts from continuously arriving time-oriented raw data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 28(3), pp. 199-231, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Continuous monitoring, Incremental temporal abstraction, Temporal mediation, Temporal reasoning, Active databases |
17 | Patrick Eugster |
Type-based publish/subscribe: Concepts and experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(1), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, distribution, Abstraction, generics, reflection, publish/subscribe, type |
17 | Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007, pp. 51-60, 2007, ACM, 978-1-59593-887-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
17 | Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
Dependent classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 133-152, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dependent classes, variability, dynamic dispatch, multimethods, multiple dispatch, virtual classes |
17 | Sudha Krishnamurthy, Lajos Lange |
Enabling Distributed Messaging with Wireless Sensor Nodes Using TinySIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 610-621, 2007, Springer, 978-3-540-73548-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Werner E. Kluge |
Abstract lambda-Calculus Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures, pp. 112-157, 2007, Springer, 978-3-540-88058-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger |
Automatic Abstraction in Symbolic Trajectory Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 127-135, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ambra Molesini, Enrico Denti, Andrea Omicini |
From AO Methodologies to MAS Infrastructures: The SODACase Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 300-317, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen |
Automatic Abstraction Refinement for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 114-129, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Ricci, Mirko Viroli, Andrea Omicini |
Give agents their artifacts: the A&A approach for engineering working environments in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 150, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
artifact theory, artifact-based environments, environment design, multiagent system infrastructures, multiagent system languages, programming multiagent systems |
17 | Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen |
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development II, pp. 1-29, 2006, Springer, 3-540-48890-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz |
Lazy Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 532-546, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Garcia 0001, Christina Chavez, Thaís Vasconcelos Batista, Cláudio Sant'Anna, Uirá Kulesza, Awais Rashid, Carlos José Pereira de Lucena |
On the Modular Representation of Architectural Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers, pp. 82-97, 2006, Springer, 3-540-69271-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Architectural Connection, Architecture Description Languages, Aspect-Oriented Software Development |
17 | Thomas Ball |
Automated Abstraction of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 8, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Aline Senart, Raymond Cunningham, Mélanie Bouroche, Neil O'Connor, Vinny Reynolds, Vinny Cahill |
MoCoA: Customisable Middleware for Context-Aware Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![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 II, pp. 1722-1738, 2006, Springer, 3-540-48274-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Andrej Kühnal, Marc-André Hermanns, Bernd Mohr, Felix Wolf 0001 |
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 47-62, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dhananjai Madhava Rao, Philip A. Wilsey |
Predicting Performance of Resolution Changes in Parallel Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006, pp. 45-54, 2006, IEEE Computer Society, 0-7695-2587-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Budi Arief, Alexei Iliasov, Alexander B. Romanovsky |
On Developing Open Mobile Fault Tolerant Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS (LNCS) ![In: Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]., pp. 21-40, 2006, Springer, 978-3-540-73130-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ambient lecture, middleware, Mobile agents, coordination, exception handling, Linda, system structuring |
17 | Laurent Michel, Andrew See, Pascal Van Hentenryck |
Distributed Constraint-Based Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 344-358, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Gregor von Laszewski, Mihael Hategan |
Workflow Concepts of the Java CoG Kit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 3(3-4), pp. 239-258, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java CoG Kit, Grid, workflow |
17 | Peter Tabeling, Bernhard Gröne |
Integrative Architecture Elicitation for Large Computer Based Systems. ![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. 51-61, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fundamental Modeling Concepts, Modeling, Architecture, Heterogeneous Systems, FMC |
17 | Patrice Godefroid, Michael Huth 0001 |
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 158-167, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Grant Martin, Daniel Gajski, David Goodwin, Patrick Lysaght, Peter Marwedel, Mike Muller, Jeff Welser |
What will system level design be when it grows up? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005, pp. 123, 2005, ACM, 1-59593-161-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Juan Manuel Serrano, Sascha Ossowski, Sergio Saugar |
Reusable Components for Implementing Agent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, pp. 101-119, 2005, Springer, 3-540-32616-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang 0001, Zijiang Yang 0006 |
Model Checking C Programs Using F-SOFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 297-308, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michael Mock, Stefan Couturier |
Middleware - integration of small devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcus Venzke, Christoph Weyer, Volker Turau |
Application Specific vs. Standard Web Service Interfaces for the Vertical Integration of Fieldbus Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: Proceedings of the Third Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg University of Technology, Hamburg, Germany, May 20, 2005, pp. 153-162, 2005, Hamburg University of Technology, 3-902463-03-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 7-21, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Maria Sorea |
Lazy Approximation for Dense Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 363-378, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | XinJun Mao, Eric S. K. Yu |
Organizational and Social Concepts in Agent Oriented Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, pp. 1-15, 2004, Springer, 3-540-24286-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Michael Backes 0001, Catherine Meadows 0001, John C. Mitchell |
Relating cryptography and formal methods: a panel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003, pp. 61-66, 2003, ACM, 1-58113-781-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal methods, cryptography, security protocols |
17 | Michael Fisher 0001, Chiara Ghidini, Benjamin Hirsch |
Organising Computation through Dynamic Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Objects, Agents, and Features ![In: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers, pp. 117-136, 2003, Springer, 3-540-21989-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Boualem Benatallah, Fabio Casati, Farouk Toumani, Rachid Hamadi |
Conceptual Modeling of Web Service Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 449-467, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Didier Le Botlan, Didier Rémy |
MLF: raising ML to the power of system F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 27-38, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F |
17 | Mark S. Miller, Jonathan S. Shapiro |
Paradigm Regained: Abstraction Mechanisms for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 224-242, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Patrice Godefroid |
Reasoning about Abstract Open Systems with Generalized Module Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 223-240, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Tao Xie 0001, David Notkin |
Tool-Assisted Unit Test Selection Based on Operational Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 40-48, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Patrick Cousot |
Automatic Verification by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 20-24, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander |
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 18(4), pp. 286-294, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Computations on manifolds, Coordinate free numerics, Partial differential equations, Object-oriented frameworks |
17 | Ehud Shapiro |
Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 418, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tong Zheng 0006, Yonghe Niu, Randy Goebel |
WebFrame: In Pursuit of Computationally and Cognitively Efficient Web Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002, Proceedings, pp. 264-275, 2002, Springer, 3-540-43704-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Timo Aaltonen, Tommi Mikkonen |
Managing Software Evolution with a Formalized Abstraction Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 224-231, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Colin Potts |
Metaphors of Intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 31-39, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ahmed Bouajjani |
Languages, Rewriting Systems, and Verification of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 24-39, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Andrew M. Pitts |
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 1, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Markus Hof |
Late Adaptation of Method Invocation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 396-401, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Barbara J. Czerny, Mats Per Erik Heimdahl |
Identifying Domain Axioms Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings, pp. 132-140, 1999, IEEE Computer Society, 0-7695-0418-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs) |
17 | Hassen Saïdi, Natarajan Shankar |
Abstract and Model Check While You Prove. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 443-454, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Automating Modular Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 82-97, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ted J. Biggerstaff |
Fixing Some Transformation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 148-157, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
pattern-directed, tag-directed, logic programming, transformations, program generation, Domain specific |
17 | John Peterson, Gregory D. Hager |
Monadic robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999, pp. 95-108, 1999, ACM, 1-58113-255-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Gul Agha |
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 1-10, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Gerda Janssens, Wim Simoens |
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 5th International Conference, CC'94, Edinburgh, UK, April 7-9, 1994, Proceedings, pp. 172-187, 1994, Springer, 3-540-57877-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Robert Harper 0001, Mark Lillibridge |
Explicit Polymorphism and CPS Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 206-219, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker |
Models and paradigms for distributed systems structuring: the BirliX approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Timothy J. Hickey |
CLP* and Constraint Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 125-133, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
17 | David L. Cohrs, Barton P. Miller |
Specification and Verification of Network Managers for Large Internets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 33-44, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Dale Miller 0001 |
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings, pp. 253-281, 1989, Springer, 3-540-53590-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Aral, Ilya Gertner |
Parasight: a high-level debugger/profiler architecture for shared-memory multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 131-139, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 59-68, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Stochastic Hybrid Systems, Reachability and Safety, Approximations, Markov Chains, Abstractions |
16 | Stavros Tripakis |
Checking timed Büchi automata emptiness on simulation graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 15:1-15:19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages |
16 | Boleslaw Mikolajczak, Abhishek Singh |
TransCPN - Software Tool for Transformation of Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 211-216, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
abstractions and reductions in Petri nets, validation and development, verification, Colored Petri nets, software specification |
16 | Paloma Chausa, César Cáceres, Lucia Sacchi, Agathe León, Felipe García, Riccardo Bellazzi, Enrique J. Gómez |
Temporal Data Mining of HIV Registries: Results from a 25 Years Follow-Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 56-60, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
HIV Data Repository, Temporal Data Mining, Rule Discovery, Temporal Abstractions |
16 | João Alberto Neves dos Santos Filho, Ricardo Choren Noya, Karin Koogan Breitman |
AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009, pp. 25-32, 2009, IEEE Computer Society, 978-1-4244-6863-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
implementation platform, design abstractions, Multi-agent systems, aspects |
16 | Thilina Gunarathne, Chathura Herath, Eran Chinthaka, Suresh Marru |
Experience with adapting a WS-BPEL runtime for eScience workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-GCE ![In: Proceedings of the 5th Grid Computing Environments Workshop, GCE 2009, November 20, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-887-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scientific application abstractions, workflows, eScience |
16 | Antoine Girard, A. Agung Julius, George J. Pappas |
Approximate Simulation Relations for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(2), pp. 163-179, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Approximate simulation relation, Approximation, Abstractions, Hybrid systems |
16 | Behzad Bastani |
Process-oriented abstraction of the complex evolvable systems: problem model construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(3), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
evolvable systems, process-oriented modeling, requirements and architecture modeling, modeling, software engineering, design, software architecture, framework, specification, design patterns, reuse, abstractions, conceptual modeling, methodologies, complex systems, method, requirements analysis, open systems, architectural style |
16 | Venkatram Vishwanath, Jason Leigh, Sungwon Nam, Luc Renambot, Takashi Shimizu, Hirokazu Takahashi, Makoto Takizawa 0004, Osamu Kamatani |
The Rails Toolkit - Enabling End-System Topology-Aware High End Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: Fourth International Conference on e-Science, e-Science 2008, 7-12 December 2008, Indianapolis, IN, USA, pp. 309-316, 2008, IEEE Computer Society, 978-1-4244-3380-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
topology-aware resource allocation, high-level abstractions, multi-core computing, High-performance computing |
16 | Tamim I. Sookoor, Timothy W. Hnat, Kamin Whitehouse |
Programming cyber-physical systems with MacroLab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008, pp. 363-364, 2008, ACM, 978-1-59593-990-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cyber-physical systems, programming abstractions, macroprogramming, embedded networks |
16 | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
MacroLab: a vector-based macroprogramming framework for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008, pp. 225-238, 2008, ACM, 978-1-59593-990-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cyber-physical systems, programming abstractions, macroprogramming, embedded networks |
16 | Domenico Talia |
Distributed Data Mining Tasks and Patterns as Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2008 Workshops - Parallel Processing, VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers, pp. 415-422, 2008, Springer, 978-3-642-00954-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed programming abstractions, knowledge discovery, Grid services, distributed data mining |
16 | Matteo Cristani, Elisa Burato, Nicoletta Gabrielli |
Ontology-Driven Compression of Temporal Series: A Case Study in SCADA Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 1-5 September 2008, Turin, Italy, pp. 734-738, 2008, IEEE Computer Society, 978-0-7695-3299-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Term Taxonomies, Data Mining, Temporal Abstractions |
16 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. ![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. 27-38, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
length abstractions, underapproximation, buffer overflows, testing c programs, directed testing |
16 | Karthik Lakshmanan, Raj Rajkumar |
Distributed Resource Kernels: OS Support for End-To-End Resource Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 195-204, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed real-time, resource kernels, timing guarantees, operating system abstractions, resource reservation, performance isolation |
16 | Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell N. Krohn, Cliff Frey, David Ziegler, M. Frans Kaashoek, Robert Tappan Morris, David Mazières |
Labels and event processes in the Asbestos operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 25(4), pp. 11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
process abstractions, secure Web servers, Information flow, labels, mandatory access control |
16 | Behzad Bastani, Hoda Bastani |
High-level open evolvable systems design by process-oriented modeling: application to DNA replication mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(6), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evolvable systems, process-oriented modeling, requirements and architecture modeling, modeling, software engineering, design, framework, specification, design patterns, abstractions, methodologies, method, requirements analysis |
16 | Behzad Bastani |
A requirements analysis framework for open systems requirements engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-19, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
odeling, operational requirements management, requirements and architecture modeling, design, framework, specification, design patterns, requirements engineering, abstractions, methodologies, method, requirements analysis |
16 | Luca Mottola, Gian Pietro Picco |
Programming wireless sensor networks with logical neighborhoods: a road tunnel use case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9, 2007, pp. 393-394, 2007, ACM, 978-1-59593-763-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, programming abstractions |
16 | Bhanu Pisupati, Geoffrey Brown |
File system framework for organizing sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 935-936, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
file interfaces, lightweight abstractions, sensor networks |
16 | Spring Berman, Ádám M. Halász, Vijay Kumar 0001, Stephen Pratt |
Algorithms for the Analysis and Synthesis of a Bio-inspired Swarm Robotic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Swarm Robotics ![In: Swarm Robotics, Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers, pp. 56-70, 2006, Springer, 978-3-540-71540-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstractions of swarms, insect house hunting, synthesis, reachability analysis, stochastic simulation, multiscale modeling |
16 | Pietro Ciciriello, Luca Mottola, Gian Pietro Picco |
Building virtual sensors and actuators over logical neighborhoods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MidSens ![In: Proceedings of the First International Workshop on Middleware for Sensor Networks, MidSens 2006, November 28, 2006, Melbourne, Australia, Co-located with Middleware 2006, pp. 19-24, 2006, ACM, 1-59593-424-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, middleware, abstractions |
16 | Joseph Polastre, Jonathan Hui, Philip Alexander Levis, Jerry Zhao, David E. Culler, Scott Shenker, Ion Stoica |
A unifying link abstraction for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005, pp. 76-89, 2005, ACM, 1-59593-054-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
link protocols, network abstractions, wireless sensor networks, network protocols, protocol architecture |
16 | Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
Specification and Execution of Policies for Grid Service Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 828-829, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Abstractions and languages for policy specification, Grid Services, policy based networking |
16 | Adam Donlin |
Transaction level modeling: flows and use models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004, pp. 75-80, 2004, ACM, 1-58113-937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
design abstractions, use models, design flows, TLM |
16 | Fried Hoeben |
Using UML models for performance calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Second International Workshop on Software and Performance, WOSP 2000, Ottawa, Canada, September 17-20, 2000., pp. 77-82, 2000, ACM, 1-58113-195-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
automated performance estimates, distributed systems, UML, UML, abstractions, component based systems, performance engineering |
16 | Jonathan M. Nash |
Using SADTs to Support Irregular Computational Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 338-343, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sharing abstractions, scalability, cost models, parallel computational models |
16 | Vijay K. Vaishnavi, Gary C. Buchanan, William L. Kuechler Jr. |
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(2), pp. 275-291, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
modeling control abstractions, production system model, databases, knowledge bases, object model, semantic data model, Operations support systems |
16 | Mihalis Yannakakis |
Perspectives on Database Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 224-246, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
database industry, data structures, data structures, abstractions, database management systems, database theory, database theory, relational model |
16 | David W. Embley |
Forms-based automatic program generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 972-979, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Administrative forms, Automatic programming, Data abstractions, Very high level languages, Interactive computing |
12 | Chih-Duo Hong, Anthony W. Lin |
Regular Abstractions for Array Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 638-666, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jiange Zhang, Qing Yi, Christina L. Peterson, Damian Dechev |
Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 36(5), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Hussein Sibai, Sayan Mitra |
Symmetry-Based Abstractions for Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(5), pp. 3357-3364, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Matzner |
Algorithms as complementary abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 26(4), pp. 1799-1815, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Dmitry Petrov, Pradyumn Goyal, Vikas Thamizharasan, Vladimir G. Kim, Matheus Gadelha, Melinos Averkiou, Siddhartha Chaudhuri, Evangelos Kalogerakis |
GEM3D: GEnerative Medial Abstractions for 3D Shape Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16994, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 4274 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|