Filters








22,493 Hits in 5.6 sec

Community Crisis Response Teams: Leveraging Local Resources through ICT E-Readiness

Elizabeth Gomez, Murray Turoff
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
e-readiness.  ...  We propose the use of team-based learning instructional strategy which has been empirically tested in the classroom. .  ...  Turoff [9] mentions the importance of an event log in a system to keep track of the alerts that have taken place to provide history on what has taken place.  ... 
doi:10.1109/hicss.2007.135 dblp:conf/hicss/GomezT07 fatcat:yjskm7rmxreprdyycah6g5cyke

Formal Verification of SystemC Designs Using a Petri-Net Based Representation

D. Karlsson, P. Eles, Zebo Peng
2006 Proceedings of the Design Automation & Test in Europe Conference  
The approach is particularly suitable for, but not restricted to, models at a high level of abstraction, such as transaction-level. The efficiency of the approach is illustrated by experiments.  ...  The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is then used for model checking of properties expressed in a timed temporal logic.  ...  A notification is invoked by a process by putting a token in either port immnotify or notify. When that happens, the event object takes all processes subscribed to the event and makes them ready.  ... 
doi:10.1109/date.2006.244076 dblp:conf/date/KarlssonEP06 fatcat:dpsklngn5fdjhn7mpg4dg6o7iu

ACAIOT: A Framework for Adaptable Context-Aware IoT applications

Manar Elkady, Cairo University, Abeer ElKorany, Amin Allam, Cairo University, Cairo University
2020 International Journal of Intelligent Engineering and Systems  
It hides the details of context management from the high-level services. It proposes a programming abstraction for adapting services' execution to various domains easily.  ...  We evaluated ACAIOT against previous work in developing a set of services such as monitoring, prediction, and notification.  ...  Conflicts of Interest The authors declare no conflict of interest. Author Contributions  ... 
doi:10.22266/ijies2020.0831.24 fatcat:jw4s6uf2dnbo7hv6wh2j3pwrwm

Capturing OS expertise in an event type system

Julia L. Lawall, Gilles Muller, Luciano Porto Barreto
2002 Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10  
In this paper, we propose a modular type system that provides a high-level characterization of the aspects of kernel behavior that affect the correctness of a scheduling policy.  ...  While the use of Bossa simplifes the problem of implementing a new scheduler, knowledge of the control and data flow through the scheduling actions of the kernel is still needed to ensure that the behavior  ...  The techniques for describing the behavior of the target system proposed here could be useful to verify the correctness of systems constructed using aspects, in particular aspectoriented OS components  ... 
doi:10.1145/1133373.1133384 dblp:conf/sigopsE/LawallMB02 fatcat:d5s2aumjcvf4djf5ga54aj6j4i

Space Shuttle Ground Processing with Monitoring Agents

G.S. Semmel, S.R. Davis, K.W. Leucht, D.A. Rowe, K.E. Smith, L. Boloni
2006 IEEE Intelligent Systems  
High-level agent design We selected the Java Expert System Shell 2 as NESTA's rule engine.  ...  The aging Launch Processing System hardware has limited resources and precludes the level of automation and notification warranted by this domain.  ... 
doi:10.1109/mis.2006.17 fatcat:2khvrse6svcs7pjlvrh54tzope

Predictive runtime verification of multi-processor SoCs in SystemC

Alper Sen, Vinit Ogale, Magdy S. Abadir
2008 Proceedings of the 45th annual conference on Design automation - DAC '08  
Concurrent interaction of multi-processor systems result in errors which are difficult to find.  ...  Our approach is unique in that we can detect potential errors in an observed execution, even if the error does not actually occur in that execution.  ...  SystemC is the most popular system level modeling language used for designing SoCs in the industry. It is a C++ library that contains constructs related to concurrency, time and hardware data types.  ... 
doi:10.1145/1391469.1391708 dblp:conf/dac/SenOA08 fatcat:kdkyxzioondk7g35gy4nu6magu

Context-aware multimedia computing in the intelligent hospital

Scott Mitchell, Mark D. Spiteri, John Bates, George Coulouris
2000 Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9  
By integrating a multimedia framework with an event-based notification system, we are developing QoS DREAM, a platform that can provide seamless, context-sensitive communications, which can adapt to users  ...  This paper describes an application middleware that addresses the requirement for immediate high-quality multimedia communications in environments where users' work practices exhibit a large degree of  ...  Event notification is a powerful mechanism for rapid construction of highly dynamic and reactive dynamic applications, and for integrating existing legacy systems. 4.  ... 
doi:10.1145/566727.566730 fatcat:nuphuhtv6jcoxat3xigjqvcqp4

Railway automatic safety protection system based on GPS

Hai Juan Fu, W.-P. Sung, J.C.M. Kao
2016 MATEC Web of Conferences  
The automatic protection system of railway safety is designed for the railway construction workers to protect alarm, and the safety protection device by using GPS satellite positioning system to acquire  ...  distribution, and reproduction in any medium, provided the original work is properly cited.  ...  In the face of unexpected events, to group cooperative work which must be timely communication between groups to jointly cope with a sudden event in question.  ... 
doi:10.1051/matecconf/20164401061 fatcat:tvs25cxwynctzga5uhfxcd6tam

Context-aware multimedia computing in the intelligent hospital

Scott Mitchell, Mark D. Spiteri, John Bates, George Coulouris
2000 Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9  
By integrating a multimedia framework with an event-based notification system, we are developing QoS DREAM, a platform that can provide seamless, context-sensitive communications, which can adapt to users  ...  This paper describes an application middleware that addresses the requirement for immediate high-quality multimedia communications in environments where users' work practices exhibit a large degree of  ...  Event notification is a powerful mechanism for rapid construction of highly dynamic and reactive dynamic applications, and for integrating existing legacy systems. 4.  ... 
doi:10.1145/566726.566730 dblp:conf/sigopsE/MitchellSBC00 fatcat:7hkpynajevemhn35zr53apmxhm

A Model-Based Approach to Secure Multiparty Distributed Systems [chapter]

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
2016 Lecture Notes in Computer Science  
First, starting from a component-based model of the system, the designer annotates different parts of it in order to define the security policy.  ...  Unlike existing methods dealing with verification of low-level cryptographic protocols, we propose a novel model-based approach based on model transformations to build a secure-by-construction multiparty  ...  First, we provide a high-level component-based model and associated security annotations to allow system designers to configure the system security in an intuitive way.  ... 
doi:10.1007/978-3-319-47166-2_62 fatcat:r5ykgo7yjrhvxnp5rtrjgex5au

A Taxonomy of QoS-Aware, Adaptive Event-Dissemination Middleware

Shruti P. Mahambre, Madhu Kumar S.D., Umesh Bellur
2007 IEEE Internet Computing  
Various frameworks support different overlay topologies and routing schemes for event dissemination, but attention is now turning to the nonfunctional attributes (such as quality of service) of such systems  ...  Event broker networks -scalable versions of the publish-subscribe paradigmact as peer-to-peer overlays on broker nodes.  ...  we can measure reliability at different levels in an event-based system, including per subscriber per event type, per subscriber for all event types, all subscribers for a single event type, and the entire  ... 
doi:10.1109/mic.2007.77 fatcat:mm5co3zh5jfp3p5hhh2q356kee

Public administration in the field of civil protection and security of life in the conditions of local self-government reform and decentralization of power

Vyacheslav Kurepin, Mykolayiv National Agrarian University, Dmitry Kurepin
2020 Modern Economics  
at localization of disasters in their initial stage; insufficient level of readiness of civil defense forces due to their low level of logistical support; unsatisfactory resolution of issues related to  ...  the construction of new, state-of-the-art protective structures for sheltering the population.  ...  The need to ensure that the civil defense system is ready in the event of possible natural and manmade emergencies is beyond doubt.  ... 
doi:10.31521/modecon.v19(2020)-16 fatcat:ga5gp25p7ngyrpttcjdepkagzu

Takeover Safety Analysis with Driver Monitoring Systems and Driver-Vehicle Interfaces in Highly Automated Vehicles

Dongyeon Yu, Chanho Park, Hoseung Choi, Donggyu Kim, Sung-Ho Hwang
2021 Applied Sciences  
Lastly, the risk of accidents can be reduced by the driver monitoring system that prevents the driver from being completely immersed in non-driving-related tasks.  ...  There were scenario types in which the system had to immediately enter minimum risk maneuvers or emergency maneuvers without requesting takeover.  ...  Acknowledgments: The authors are very grateful to the journal editors and reviewers. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app11156685 fatcat:omc22xu3cvguzbs3o4amdnms2a

Coordination control with BCOOPL

Hans de Bruin
2001 Proceedings of the 2001 ACM symposium on Applied computing - SAC '01  
BCOOPL encourages the design of high-quality software components through high level OO abstractions including the built-in support of the Observer and Mediator design patterns.  ...  It is up to the clients to link to these notifications in order to receive them.  ...  High level building blocks such as software components and connectors give us handles to tame the complexity involved in designing well-balanced systems.  ... 
doi:10.1145/372202.372296 dblp:conf/sac/Bruin01 fatcat:jya3zzo365evdo3uvy3vooi5q4

Event-based systems

Greg Eisenhauer, Matthew Wolf, Hasan Abbasi, Karsten Schwan
2009 Proceedings of the Third ACM International Conference on Distributed Event-Based Systems - DEBS '09  
We explore some of the challenges of high performance event systems, including those experienced when operating an event infrastructure used to transport IO events at the scale of hundred+ thousand nodes  ...  This paper describes EV-Path, a middleware infrastructure that supports the construction and management of overlay networks that can be customized both in topology and in the data manipulations being performed  ...  By using XML to describe the subscription and the event, the WS-Notification standard provides a high level of interoperability with other open standards.  ... 
doi:10.1145/1619258.1619261 dblp:conf/debs/EisenhauerWAS09 fatcat:43ll4j3i2ndwfh7fpvpwqm2zzu
« Previous Showing results 1 — 15 out of 22,493 results