NDLI: Design and verification of cellphone-based cyber-physical systems: A position paper

Please wait, while we are loading the content...

10th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing

9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing

Steering committee

A study on evolution of email spam over fifteen years

Towards comprehensive and collaborative forensics on email evidence

Non-intrusive process-based monitoring system to mitigate and prevent VM vulnerability explorations

Towards multi-policy support for IaaS clouds to secure data sharing

Autonomic swarms for regenerative and collaborative networking

Supporting adaptable granularity of changes for massive-scale collaborative editing

Supporting collaborative work by learning process models and patterns from cases

A context-aware architecture for improving collaboration of users in Groupware systems

Efficient opportunistic sensing using mobile collaborative platform MOSDEN

Influence maximization for Big Data through entropy ranking and min-cut

Real-time collaborative planning with big data: Technical challenges and in-place computing (invited paper)

Towards context-aware recommendations: Strategies for exploiting multi-criteria communities

A content-context-centric approach for detecting vandalism in Wikipedia

Workflow definition by cloud collaboration

Ensuring compliance of distributed and collaborative workflows

SBaaS: Safe Box as a service

Concurrency control and awareness support for multi-synchronous collaborative editing

MobiCloud: A reliable collaborative mobilecloud management system

Making offloading decisions resistant to network unavailability for mobile cloud collaboration

Collaboration support through mobile processes and entailment constraints

uBeeMe — A platform to enable mobile collaborative applications

A hybrid mobility model based on social, cultural and language diversity

Building multi-model collaboration in detecting multimedia semantic concepts (invited paper)

Modeling privacy settings of an online social network from a game-theoretical perspective

Web based collaborative social album authoring system using Facebook photos

Silence behavior mining on online social networks

Robust and fast authentication of session cookies in collaborative and social media using position-indexed hashing

Click traffic analysis of short URL spam on Twitter

Privacy aware service selection of composite web services invited paper

Byzantine resistant reputation-based trust management

Collaborative approach for inter-domain botnet detection in large-scale networks

Cheeka: A mobile application for personal safety

Private overlay of enterprise social data and interactions in the public web context

Social team awareness

Towards improving user satisfaction in decentralized P2P networks

Increasing awareness in distributed software teams: A first evaluation

Browser-based collaborative modeling in near real-time

MapReduce-guided scalable compressed dictionary construction for evolving repetitive sequence streams

A collaborative virtual workspace for factory configuration and evaluation

Dynamic strategies of conflict resolution on human perception of equality within multi-user collaborative virtual environments

Leadership's effect on overall temporal patterns of global virtual teams

Impact of mediating technologies on talk and emotion: Questioning “commonsense”

Improving textual merge result

Profile sharing recommendation system for enterprise collaboration

Understanding venue popularity in Foursquare

A social trust based friend recommender for online communities “invited paper”

A capability requirements approach for predicting worker performance in crowdsourcing

Answering complex location-based queries with crowdsourcing

Personal health record storage on privacy preserving green clouds

Data architecture for telehealth services research: A case study of home tele-monitoring

Shared editing on the web: A classification of developer support libraries

Domain ontology-based feature reduction for high dimensional drug data and its application to 30-day heart failure readmission prediction

Enterprise 2.0 in action: Potentials for improvement of awareness support in enterprises

When to interrupt global software engineers to provide them with what information?

DynaSurface: A framework for device notifications using nano coatings in connected devices

How to tag it right?: Semi-automatic support for email management

Supporting secure collaborations with attribute-based access control

Data-based access control in named data networking

Analysis of heuristic based access pattern obfuscation

Android keylogging threat

Security analysis of mobile applications: A case study of a collaboration tool in healthcare

Finding anomalies in windows event logs using standard deviation

Accurate weather forecasting through locality based collaborative computing

A linked fusion of things, services, and data to support a collaborative data management facility

Designing for self-configuration and self-adaptation in the Internet of Things

A collaborative approach for metadata management for Internet of Things: Linking micro tasks with physical objects

Computation integrity in mobile cloud: Running probabilistically checkable proof on Android

Design and verification of cellphone-based cyber-physical systems: A position paper

Internet of Things Forensics: Challenges and approaches

SmartMart: IoT-based In-store mapping for mobile devices

Organizations preparing organizations for the IoT: The congruence of the IoT meme

8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)

7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)

6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2010)

2009 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing

2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)

2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing

2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing

Design and verification of cellphone-based cyber-physical systems: A position paper

Content Provider	IEEE Xplore Digital Library
Author	Podorozhny, R.
Copyright Year	2013
Description	Author affiliation: Comput. Sci. Dept., Texas State Univ., San Marcos, TX, USA (Podorozhny, R.)
Abstract	This paper outlines an approach to explore methods for design and verification of cellphone-based cyber physical systems. The use of cellphones for development of such control systems has a number of benefits. Cellphones are relatively cheap, they already combine a number of sensors and communication capabilities that make them suitable candidates for relatively inexpensive embedded systems. At the same time there are certain peculiarities and restrictions in the existing operating systems and programming environments for cellphones that do not allow transferring existing methods for design and verification of control systems directly. We suggest an approach to explore such methods adapted for cellphones as embedded devices.
Starting Page	603
Ending Page	607
File Size	133614
Page Count	5
File Format	PDF
ISBN	9781936968923
DOI	10.4108/icst.collaboratecom.2013.254262
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-10-20
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	ICST
Subject Keyword	Schedules Computer architecture Control systems Real-time systems Sensors Vehicles
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in