3rd workshop on assessment of contemporary modularization techniques (ACoM 2009)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Continuity analysis of programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A concept lattice-based event model for Cyber-Physical Systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Autonomic computing technologies for cyber-physical systems
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
Situation based control for cyber-physical environments
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
An event driven framework for assistive CPS environments
ACM SIGBED Review - Special Issue on the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability
Applied research of data sensing and service to ubiquitous intelligent transportation system
Frontiers of Computer Science in China
Multi-agent architecture with support to quality of service and quality of control
IDEAL'10 Proceedings of the 11th international conference on Intelligent data engineering and automated learning
A logic-based modeling and verification of CPS
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Complex events and actions to control cyber-physical systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Review: From wireless sensor networks towards cyber physical systems
Pervasive and Mobile Computing
Temporal isolation on multiprocessing architectures
Proceedings of the 48th Design Automation Conference
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A model for sequence based power management in cyber physical systems
ICT-GLOW'11 Proceedings of the First international conference on Information and communication on technology for the fight against global warming
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Gulliver: a test-bed for developing, demonstrating and prototyping vehicular systems
Proceedings of the 9th ACM international symposium on Mobility management and wireless access
MACMESE'11 Proceedings of the 13th WSEAS international conference on Mathematical and computational methods in science and engineering
Control co-design: algorithms and their implementation
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Verifying complex continuous real-time systems with coinductive CLP(R)
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Model-Driven Performance Analysis of Large Scale Irrigation Networks
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
WiP Abstract: Virtual Network Platform for Large Scale CPS Testbed
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
EVIS: a fast and scalable episode matching engine for massively parallel data streams
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part II
A Unified Methodology for Scheduling in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Coinductive constraint logic programming
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Implementing constrained cyber-physical systems with IEC 61499
ACM Transactions on Embedded Computing Systems (TECS)
Approach for defining intelligent systems technical performance metrics
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
Perceptual control architecture for cyber-physical systems in traffic incident management
Journal of Systems Architecture: the EUROMICRO Journal
Editorial: Cyber-physical systems: Milestones and research challenges
Computer Communications
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Modeling and analysis of middleware design for streaming power grid applications
Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference
Trustworthiness analysis of sensor data in cyber-physical systems
Journal of Computer and System Sciences
A time-triggered middleware architecture for ubiquitous cyber physical system applications
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Towards an infrastructure model for composing and reconfiguring cyber-physical systems
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Robustness analysis for battery-supported cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
Teaching cyber-physical systems to computer scientists via modeling and verification
Proceeding of the 44th ACM technical symposium on Computer science education
In-Network Computations of Machine-to-Machine Communications for Wireless Robotics
Wireless Personal Communications: An International Journal
A passivity-based decentralized strategy for generalized connectivity maintenance
International Journal of Robotics Research
GAMETE: general adaptable metric execution tool and environment (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
DEV&DESS-based cyber-physical systems modeling language with uncertainty consideration
Proceedings of the 2013 Spring Simulation Multiconference Poster Session
Context-sensitive synthesis of executable functional models of cyber-physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Enabling cyber-physical systems with machine-to-machine technologies
International Journal of Ad Hoc and Ubiquitous Computing
High-confidence cyber-physical co-design
ACM SIGBED Review - Special Issue on the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS'12)
Challenges in developing software for cyber-physical systems
Proceedings of the 5th Asia-Pacific Symposium on Internetware
A generic framework for cyber-physical web
Proceedings of the First International Workshop on Middleware for Cloud-enabled Sensing
Modeling and debugging numerical constraints of cyber-physical systems design
Proceedings of the Fourth Symposium on Information and Communication Technology
GDCSim: A simulator for green data center design and analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on simulation in complex service systems
Safety versus security in the quality calculus
Theories of Programming and Formal Methods
DSL methods for CPS simulation in the cloud: Experience report
Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
Multi-layered scheduling of mixed-criticality cyber-physical systems
Journal of Systems Architecture: the EUROMICRO Journal
WSN in cyber physical systems: Enhanced energy management routing approach using software agents
Future Generation Computer Systems
Editorial: Cyber-Physical Society-The science and engineering for future society
Future Generation Computer Systems
Efficient allocation of resources in multiple heterogeneous Wireless Sensor Networks
Journal of Parallel and Distributed Computing
Resource management policies for real-time Java remote invocations
Journal of Parallel and Distributed Computing
Adaptive resource management scheme for monitoring of CPS
The Journal of Supercomputing
An efficient strategy of nonuniform sensor deployment in cyber physical systems
The Journal of Supercomputing
MineralMiner: An active sensing simulation environment
Multiagent and Grid Systems
Hi-index | 0.00 |
The ever-increasing functionality and the non-functional constraints that must be satisfied by embedded systems lead to an enormous growth in the complexity at the system level. In this paper we investigate the notion of cognitive complexity and argue ...