Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Christian Zirpins, Wolfgang Emmerich	A reference model of virtual service production networks.	Serv. Oriented Comput. Appl.	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.	CAV	2008	DBLP DOI BibTeX RDF
17	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
17	Stephen Robertson	The study of information retrieval: a long view.	IIiX	2008	DBLP DOI BibTeX RDF
17	Denis Caromel, Mario Leyton	ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment.	Euro-Par Workshops	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.	MoDELS	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.	J. Intell. Inf. Syst.	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.	ACM Trans. Program. Lang. Syst.	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.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
17	Vaidas Gasiunas, Mira Mezini, Klaus Ostermann	Dependent classes.	OOPSLA	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.	UIC	2007	DBLP DOI BibTeX RDF
17	Werner E. Kluge	Abstract lambda-Calculus Machines.	CEFP	2007	DBLP DOI BibTeX RDF
17	Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger	Automatic Abstraction in Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
17	Ambra Molesini, Enrico Denti, Andrea Omicini	From AO Methodologies to MAS Infrastructures: The SODACase Study.	ESAW	2007	DBLP DOI BibTeX RDF
17	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	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.	AAMAS	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.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
17	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	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.	EWSA	2006	DBLP DOI BibTeX RDF	Architectural Connection, Architecture Description Languages, Aspect-Oriented Software Development
17	Thomas Ball	Automated Abstraction of Software.	ATVA	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.	OTM Conferences (2)	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.	Euro-Par	2006	DBLP DOI BibTeX RDF
17	Dhananjai Madhava Rao, Philip A. Wilsey	Predicting Performance of Resolution Changes in Parallel Simulations.	PADS	2006	DBLP DOI BibTeX RDF
17	Budi Arief, Alexei Iliasov, Alexander B. Romanovsky	On Developing Open Mobile Fault Tolerant Agent Systems.	SELMAS (LNCS)	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.	CP	2006	DBLP DOI BibTeX RDF
17	Gregor von Laszewski, Mihael Hategan	Workflow Concepts of the Java CoG Kit.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	Java CoG Kit, Grid, workflow
17	Peter Tabeling, Bernhard Gröne	Integrative Architecture Elicitation for Large Computer Based Systems.	ECBS	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.	LICS	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?	CODES+ISSS	2005	DBLP DOI BibTeX RDF
17	Juan Manuel Serrano, Sascha Ossowski, Sergio Saugar	Reusable Components for Implementing Agent Interactions.	PROMAS	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.	ICCD	2005	DBLP DOI BibTeX RDF
17	Michael Mock, Stefan Couturier	Middleware - integration of small devices.	ETFA	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.	WISES	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.	FLOPS	2004	DBLP DOI BibTeX RDF
17	Maria Sorea	Lazy Approximation for Dense Real-Time Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
17	XinJun Mao, Eric S. K. Yu	Organizational and Social Concepts in Agent Oriented Software Engineering.	AOSE	2004	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Catherine Meadows 0001, John C. Mitchell	Relating cryptography and formal methods: a panel.	FMSE	2003	DBLP DOI BibTeX RDF	formal methods, cryptography, security protocols
17	Michael Fisher 0001, Chiara Ghidini, Benjamin Hirsch	Organising Computation through Dynamic Grouping.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
17	Boualem Benatallah, Fabio Casati, Farouk Toumani, Rachid Hamadi	Conceptual Modeling of Web Service Conversations.	CAiSE	2003	DBLP DOI BibTeX RDF
17	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ICFP	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.	ASIAN	2003	DBLP DOI BibTeX RDF
17	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
17	Tao Xie 0001, David Notkin	Tool-Assisted Unit Test Selection Based on Operational Violations.	ASE	2003	DBLP DOI BibTeX RDF
17	Patrick Cousot	Automatic Verification by Abstract Interpretation.	VMCAI	2003	DBLP DOI BibTeX RDF
17	Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander	On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs.	Eng. Comput.	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.	WABI	2002	DBLP DOI BibTeX RDF
17	Tong Zheng 0006, Yonghe Niu, Randy Goebel	WebFrame: In Pursuit of Computationally and Cognitively Efficient Web Mining.	PAKDD	2002	DBLP DOI BibTeX RDF
17	Timo Aaltonen, Tommi Mikkonen	Managing Software Evolution with a Formalized Abstraction Hierarchy.	ICECCS	2002	DBLP DOI BibTeX RDF
17	Colin Potts	Metaphors of Intent.	RE	2001	DBLP DOI BibTeX RDF
17	Ahmed Bouajjani	Languages, Rewriting Systems, and Verification of Infinite-State Systems.	ICALP	2001	DBLP DOI BibTeX RDF
17	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
17	Markus Hof	Late Adaptation of Method Invocation Semantics.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
17	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams.	HASE	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.	CAV	1999	DBLP DOI BibTeX RDF
17	Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	Automating Modular Verification.	CONCUR	1999	DBLP DOI BibTeX RDF
17	Ted J. Biggerstaff	Fixing Some Transformation Problems.	ASE	1999	DBLP DOI BibTeX RDF	pattern-directed, tag-directed, logic programming, transformations, program generation, Domain specific
17	John Peterson, Gregory D. Hager	Monadic robotics.	DSL	1999	DBLP DOI BibTeX RDF
17	Gul Agha	Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
17	Gerda Janssens, Wim Simoens	On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.	CC	1994	DBLP DOI BibTeX RDF
17	Robert Harper 0001, Mark Lillibridge	Explicit Polymorphism and CPS Conversion.	POPL	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.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
17	Timothy J. Hickey	CLP* and Constraint Abstraction.	POPL	1989	DBLP DOI BibTeX RDF	Prolog
17	David L. Cohrs, Barton P. Miller	Specification and Verification of Network Managers for Large Internets.	SIGCOMM	1989	DBLP DOI BibTeX RDF
17	Dale Miller 0001	A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.	ELP	1989	DBLP DOI BibTeX RDF
17	Ziya Aral, Ilya Gertner	Parasight: a high-level debugger/profiler architecture for shared-memory multiprocessor.	ICS	1988	DBLP DOI BibTeX RDF
16	Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate	Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.	QEST	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.	ACM Trans. Comput. Log.	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.	ITNG	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.	AIME	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.	SEW	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.	SC-GCE	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.	Discret. Event Dyn. Syst.	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.	ACM SIGSOFT Softw. Eng. Notes	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.	eScience	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.	SenSys	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.	SenSys	2008	DBLP DOI BibTeX RDF	cyber-physical systems, programming abstractions, macroprogramming, embedded networks
16	Domenico Talia	Distributed Data Mining Tasks and Patterns as Services.	Euro-Par Workshops	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.	DEXA Workshops	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.	ISSTA	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.	IEEE Real-Time and Embedded Technology and Applications Symposium	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.	ACM Trans. Comput. Syst.	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.	ACM SIGSOFT Softw. Eng. Notes	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.	ACM SIGSOFT Softw. Eng. Notes	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.	SenSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, programming abstractions
16	Bhanu Pisupati, Geoffrey Brown	File system framework for organizing sensor networks.	SAC	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.	Swarm Robotics	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.	MidSens	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.	SenSys	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.	ICWS	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.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	design abstractions, use models, design flows, TLM
16	Fried Hoeben	Using UML models for performance calculation.	Workshop on Software and Performance	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.	ISPAN	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.	IEEE Trans. Knowl. Data Eng.	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.	FOCS	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.	ACM Annual Conference (2)	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.	Proc. ACM Program. Lang.	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.	Concurr. Comput. Pract. Exp.	2024	DBLP DOI BibTeX RDF
12	Hussein Sibai, Sayan Mitra	Symmetry-Based Abstractions for Hybrid Automata.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
12	Tobias Matzner	Algorithms as complementary abstractions.	New Media Soc.	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.	CoRR	2024	DBLP DOI BibTeX RDF