Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The evolution of CycL, the Cyc representation language
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Concurrent programming in ERLANG (2nd ed.)
Concurrent programming in ERLANG (2nd ed.)
Relating viewpoints: a preface to Viewpoints 96
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Database nation: the death of privacy in the 21st century
Database nation: the death of privacy in the 21st century
Deriving Trends in Historical and Real-Time Continuously Sampled Medical Data
Journal of Intelligent Information Systems - Special issue on integrating artificial intelligene and database technologies
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Aspect-oriented programming: Introduction
Communications of the ACM
Communications of the ACM
Aspect-oriented programming with adaptive methods
Communications of the ACM
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Composing crosscutting concerns using composition filters
Communications of the ACM
Aspect-oriented programming using reflection and metaobject protocols
Communications of the ACM
Software product lines: practices and patterns
Software product lines: practices and patterns
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Spoken dialogue technology: enabling the conversational user interface
ACM Computing Surveys (CSUR)
Reconfigurable computing: a survey of systems and software
ACM Computing Surveys (CSUR)
Agile software development ecosystems
Agile software development ecosystems
Secrets & Lies: Digital Security in a Networked World
Secrets & Lies: Digital Security in a Networked World
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
A survey of rollback-recovery protocols in message-passing systems
ACM Computing Surveys (CSUR)
Sensor deployment strategy for target detection
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
Adaptive Reasoning for Real-World Problems: A Schema-Based Approach
Adaptive Reasoning for Real-World Problems: A Schema-Based Approach
Information technology and economic performance: A critical review of the empirical evidence
ACM Computing Surveys (CSUR)
A survey of processors with explicit multithreading
ACM Computing Surveys (CSUR)
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Engineered Communications for Microbial Robotics
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
Towards a Better Understanding of Context and Context-Awareness
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Genetic circuit building blocks for cellular computation, communications, and signal processing
Natural Computing: an international journal
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Requirements interaction management
ACM Computing Surveys (CSUR)
Domain-Driven Design: Tacking Complexity In the Heart of Software
Domain-Driven Design: Tacking Complexity In the Heart of Software
Practical Cryptography
Ambient intelligence: industrial research on a visionary concept
Proceedings of the 2003 international symposium on Low power electronics and design
Model-Integrated Development of Complex Applications
SAST '97 Proceedings of the 5th International Symposium on Assessment of Software Tools (SAST '97)
A survey of key management for secure group communication
ACM Computing Surveys (CSUR)
Requirements Engineering: The State of the Practice
IEEE Software
Embedded Software Engineering: The State of the Practice
IEEE Software
Is Internet-Speed Software Development Different?
IEEE Software
Software Reviews: The State of the Practice
IEEE Software
Product Line Engineering: The State of the Practice
IEEE Software
A foundation for actor computation
Journal of Functional Programming
Pattern-Oriented Software Architecture: Patterns for Resource Management
Pattern-Oriented Software Architecture: Patterns for Resource Management
Report on the Engineering Federated Information Systems 2003 workshop (EFIS 2003)
ACM SIGSOFT Software Engineering Notes
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
MDA Distilled
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
User interface design with matrix algebra
ACM Transactions on Computer-Human Interaction (TOCHI)
Introduction to mobile and adaptive conversational interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
ACM Transactions on Computer-Human Interaction (TOCHI)
Toward adaptive conversational interfaces: Modeling speech convergence with animated personas
ACM Transactions on Computer-Human Interaction (TOCHI)
On test suite composition and cost-effective regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
ACM Computing Surveys (CSUR)
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Replication for web hosting systems
ACM Computing Surveys (CSUR)
Replication for web hosting systems
ACM Computing Surveys (CSUR)
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of peer-to-peer content distribution technologies
ACM Computing Surveys (CSUR)
Introduction to sensing-based interaction
ACM Transactions on Computer-Human Interaction (TOCHI)
Foreground and background interaction with sensor-enhanced mobile devices
ACM Transactions on Computer-Human Interaction (TOCHI)
Designing mediation for context-aware applications
ACM Transactions on Computer-Human Interaction (TOCHI)
Access control in collaborative systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A scalable formal method for design and automatic checking of user interfaces
ACM Transactions on Software Engineering and Methodology (TOSEM)
Establishing and maintaining long-term human-computer relationships
ACM Transactions on Computer-Human Interaction (TOCHI)
The language of privacy: Learning from video media space analysis and design
ACM Transactions on Computer-Human Interaction (TOCHI)
Extreme Programming Explained: Embrace Change (2nd Edition)
Extreme Programming Explained: Embrace Change (2nd Edition)
Theoretical and Experimental DNA Computation (Natural Computing Series)
Theoretical and Experimental DNA Computation (Natural Computing Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Topology control in wireless ad hoc and sensor networks
ACM Computing Surveys (CSUR)
Power reduction techniques for microprocessor systems
ACM Computing Surveys (CSUR)
SHReQ: Coordinating Application Level QoS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Queue - Performance
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
ACM Transactions on Computer-Human Interaction (TOCHI)
Architectural implications of quantum computing technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Queue - Purpose-built Systems
A survey of research and practices of Network-on-chip
ACM Computing Surveys (CSUR)
Graph mining: Laws, generators, and algorithms
ACM Computing Surveys (CSUR)
A taxonomy of Data Grids for distributed data sharing, management, and processing
ACM Computing Surveys (CSUR)
Adaptive information extraction
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Inverted files for text search engines
ACM Computing Surveys (CSUR)
Interestingness measures for data mining: A survey
ACM Computing Surveys (CSUR)
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Redundancy and coverage detection in sensor networks
ACM Transactions on Sensor Networks (TOSN)
An efficient and secure protocol for sensor network time synchronization
Journal of Systems and Software
Language constructs for context-oriented programming: an overview of ContextL
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
The Future of Human-Computer Interaction
Queue - HCI
Queue - HCI
Yield enhancement of reconfigurable microfluidics-based biochips using interstitial redundancy
ACM Journal on Emerging Technologies in Computing Systems (JETC)
ACM Transactions on Sensor Networks (TOSN)
Models and solutions for radio irregularity in wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Design patterns from biology for distributed computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A software retrieval service based on adaptive knowledge-driven agents for wireless environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Queue - Compliance
Queue - Compliance
Queue - Compliance
Pattern Recognition and Machine Learning (Information Science and Statistics)
Pattern Recognition and Machine Learning (Information Science and Statistics)
Communication power optimization in a sensor network with a path-constrained mobile observer
ACM Transactions on Sensor Networks (TOSN)
Stochastic coverage in heterogeneous sensor networks
ACM Transactions on Sensor Networks (TOSN)
Dynamic data fusion for future sensor networks
ACM Transactions on Sensor Networks (TOSN)
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Application-independent defect tolerance of reconfigurable nanoarchitectures
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Agile Software Development: The Cooperative Game (2nd Edition) (Agile Software Development Series)
Agile Software Development: The Cooperative Game (2nd Edition) (Agile Software Development Series)
ACM Computing Surveys (CSUR)
Queue - Cybercrime
Queue - Cybercrime
Reactive provisioning of backend databases in shared dynamic content server clusters
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A reactive agent-based problem-solving model: Application to localization and tracking
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Semantic matching across heterogeneous data sources
Communications of the ACM - The patent holder's dilemma: buy, sell, or troll?
Increased security through open source
Communications of the ACM - The patent holder's dilemma: buy, sell, or troll?
Computing versus human thinking
Communications of the ACM - The patent holder's dilemma: buy, sell, or troll?
Queue - Computer Architecture
Representing concerns in source code
ACM Transactions on Software Engineering and Methodology (TOSEM)
Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing
Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing
Human-Computer Interaction (3rd Edition)
Human-Computer Interaction (3rd Edition)
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (Lecture Notes in Computer Science)
Distributed protocols for ensuring both coverage and connectivity of a wireless sensor network
ACM Transactions on Sensor Networks (TOSN)
The Description Logic Handbook
The Description Logic Handbook
Pattern Oriented Software Architecture: On Patterns and Pattern Languages (Wiley Software Patterns Series)
An integrated approach to federated identity and privilege management in open systems
Communications of the ACM - Spam and the ongoing battle for the inbox
A survey on peer-to-peer key management for mobile ad hoc networks
ACM Computing Surveys (CSUR)
Survey of network-based defense mechanisms countering the DoS and DDoS problems
ACM Computing Surveys (CSUR)
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Socio-technical defense against voice spamming
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Open vs. Closed: Which Source is More Secure?
Queue - Security
Queue - Security
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient QoS partition and routing of unicast and multicast
IEEE/ACM Transactions on Networking (TON)
Modeling spatially correlated data in sensor networks
ACM Transactions on Sensor Networks (TOSN)
Theoretical reflections on agile development methodologies
Communications of the ACM - Emergency response information systems: emerging trends and technologies
Modeling traceability of concerns in architectural views
Proceedings of the 10th international workshop on Aspect-oriented modeling
A field evaluation of an adaptable two-interface design for feature-rich software
ACM Transactions on Computer-Human Interaction (TOCHI)
Tiny-sync: Tight time synchronization for wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Finding a path subject to many additive QoS constraints
IEEE/ACM Transactions on Networking (TON)
A survey of RST invariant image watermarking algorithms
ACM Computing Surveys (CSUR)
Quantum cryptography: A survey
ACM Computing Surveys (CSUR)
Queue - DNS
Queue - DNS
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reflective layer activation in ContextL
Proceedings of the 2007 ACM symposium on Applied computing
Combinatorial Fusion Criteria for Robot Mapping
AINA '07 Proceedings of the 21st International Conference on Advanced Networking and Applications
Design for dependability in emerging technologies
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Evolutionary functional recovery in virtual reconfigurable circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Self-replicating hardware for reliability: The embryonics project
ACM Journal on Emerging Technologies in Computing Systems (JETC)
A self-organizing defect tolerant SIMD architecture
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Analysis of Topology Aggregation techniques for QoS routing
ACM Computing Surveys (CSUR)
Autonomous authoring tools for hypertext
ACM Computing Surveys (CSUR)
Information fusion for wireless sensor networks: Methods, models, and classifications
ACM Computing Surveys (CSUR)
Bigtable: a distributed storage system for structured data
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
Software design patterns for TinyOS
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Power management in energy harvesting sensor networks
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Modeling the effects of delayed haptic and visual feedback in a collaborative virtual environment
ACM Transactions on Computer-Human Interaction (TOCHI)
Evaluating the boundary conditions of the technology acceptance model: An exploratory investigation
ACM Transactions on Computer-Human Interaction (TOCHI)
SADIe: Structural semantics for accessibility and device independence
ACM Transactions on Computer-Human Interaction (TOCHI)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Network intrusion detection through Adaptive Sub-Eigenspace Modeling in multiagent systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Ranking factors in peer-to-peer overlay networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Scalability of wireless networks
IEEE/ACM Transactions on Networking (TON)
Introduction to special issue on computers and accessibility
ACM Transactions on Computer-Human Interaction (TOCHI)
The self-protection problem in wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Reconfiguration methods for mobile sensor networks
ACM Transactions on Sensor Networks (TOSN)
Building Secure Web Applications
Queue - Web Development
Ontology visualization methods—a survey
ACM Computing Surveys (CSUR)
Using LTL rewriting to improve the performance of model-checker based test-case generation
Proceedings of the 3rd international workshop on Advances in model-based testing
Repeatable evaluation of search services in dynamic environments
ACM Transactions on Information Systems (TOIS)
A Framework for Web service negotiation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Specifying protocols for multi-agent systems interaction
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Evaluating area and performance of hybrid FPGAs with nanoscale clusters and CMOS routing
ACM Journal on Emerging Technologies in Computing Systems (JETC)
End-to-end optimal algorithms for integrated QoS, traffic engineering, and failure recovery
IEEE/ACM Transactions on Networking (TON)
Papiercraft: A gesture-based command system for interactive paper
ACM Transactions on Computer-Human Interaction (TOCHI)
Improving Model-Checkers for Software Testing
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Delay and capacity trade-offs in mobile ad hoc networks: a global perspective
IEEE/ACM Transactions on Networking (TON)
Interference analysis and transmit power control in IEEE 802.11a/h wireless LANs
IEEE/ACM Transactions on Networking (TON)
Distributed optimal self-organization in ad hoc wireless sensor networks
IEEE/ACM Transactions on Networking (TON)
Managing resources and quality of service in heterogeneous wireless systems exploiting opportunism
IEEE/ACM Transactions on Networking (TON)
Computing in pervasive cyberspace
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
International Conference on Autonomous Agents and Mulitagent Systems
Queue - Power Management
Near-Term Prospects for Semantic Technologies
IEEE Intelligent Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
N3logic: A logical framework for the world wide web
Theory and Practice of Logic Programming
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Network security: private communication in a public world, second edition
Network security: private communication in a public world, second edition
Programming in Scala: A Comprehensive Step-by-step Guide
Programming in Scala: A Comprehensive Step-by-step Guide
Software Engineering
Extending the Soar Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Searching for common sense: populating Cyc™ from the web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Complex and Adaptive Dynamical Systems: A Primer
Complex and Adaptive Dynamical Systems: A Primer
A Generalized Higher-Order Chemical Computation Model
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach to feature location in distributed systems
Journal of Systems and Software
Redundancy based test-suite reduction
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Software verification with BLAST
SPIN'03 Proceedings of the 10th international conference on Model checking software
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Querying ontologies: a controlled english interface for end-users
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Security and trust requirements engineering
Foundations of Security Analysis and Design III
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Towards a system model for ensembles
Formal modeling
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
Design of ensemble-based component systems by invariant refinement
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Engineering autonomous systems
Proceedings of the 17th Panhellenic Conference on Informatics
Hi-index | 0.00 |
Software-intensive systems become more and more important in our everyday lives. But their increasing complexity makes it difficult to develop and maintain them. This chapter gives an overview of the state of the art of building software-intensive systems and outlines research challenges that have been identified by the InterLink working group "software-intensive systems and new computing paradigms".