the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web appli...
详细信息
ISBN:
(纸本)0769528953
the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web applications;a formal model for compensable transactions;a formal semantic model of the semantic web service ontology (WSMO);a novel approach to the detecting of cheating in multiplayer online games;reasoning about nonblocking concurrency using reduction;a combine approach for information flow analysis in fault tolerant hardware;a registry for sensor network discovery;an agent based approach to examining shared situation awareness;product line enabled intelligent mobile middleware;a formal contract language for plugin-based software engineering;architectural design methodologies for complex evolving systems;and communicating software architecture using a unified single-view visualization.
the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software a...
the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software architecture.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. the papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. they reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
the proceedings contain 12 papers. the topics discussed include: a method and a technique to model and ensure timeliness in safety critical real-time systems;evaluating the performance of group membership protocols;in...
ISBN:
(纸本)0818685972
the proceedings contain 12 papers. the topics discussed include: a method and a technique to model and ensure timeliness in safety critical real-time systems;evaluating the performance of group membership protocols;inter-completion time scheduling (ICTS): non-preemptive scheduling to maximize the minimum inter-completion time;metrics and tool for system assessment;design patterns in Petri net system modeling;building soft real-time monitors based on software reuse;the architecture tradeoff analysis method;open complexcomputersystems are no silver bullet;applying slicing technique to software architectures;an approach to specifying and verifying safety-critical systems with practical formal method SOFL;risk assessment and integrity in system design;and vp reservation for rapid restoration using multiagents.
Surgical robotics has revolutionized modern medicine, enhancing precision, safety, and efficiency in complex procedures. However, many surgical fields, including ophthalmology, continue to rely heavily on manual techn...
详细信息
ISBN:
(数字)9798331502461
ISBN:
(纸本)9798331502478
Surgical robotics has revolutionized modern medicine, enhancing precision, safety, and efficiency in complex procedures. However, many surgical fields, including ophthalmology, continue to rely heavily on manual techniques, demanding exceptional dexterity, coordination, and sustained focus from surgeons. the next frontier in robotic surgery lies in intelligent systemsthat integrate real-time perception, automation, and human-robot collaboration to enhance surgical outcomes while reducing surgeon workload. this talk presents an overview of our research on intelligent robotic assistance for precision surgery, with a focus on vision-based robotic systems for ophthalmic and microsurgical procedures. One of our key innovations is an intelligent vision-based robotic-assisted system for vitreoretinal surgery, which enhances intraoperative safety through real-time scene understanding, automates surgical lighting to improve visualization, and records surgical actions for skill assessment and training. Beyond ophthalmology, our work extends to developing AI-driven robotic systems for other surgical applications, enabling autonomous assistance in delicate operations where precision and real-time decision-making are critical. By integrating computer vision, machine learning, and robotic automation, our research aims to push the boundaries of robotic surgery, making procedures safer, more efficient, and accessible to a broader range of surgeons. this talk will explore the challenges and breakthroughs in intelligent surgical robotics, the role of AI in enhancing human dexterity, and the future of robotic-assisted surgery in various medical domains.
Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including Mozilla Firefox and the Eclipse development envir...
详细信息
ISBN:
(纸本)9780769528953
Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including Mozilla Firefox and the Eclipse development environment. Using plugins is a promising approach to build complexsystemsthat have to be reconfigured at runtime, and several plugin based general purpose runtime environments are currently under development. Plugin-based design is based on the idea that plugins provide additional functionality extending the capabilities of a core product. While this is often understood as providing services by implementing abstract classes or interfaces defined in the core product, modern plugin-based systems like Eclipse use a much wider definition of service. We propose to consider these services as typed resources and introduce a contract language that can be used to define contracts between plugins providing and consuming services. this language is based on the Semantic Web Rule Language (SWRL) that has a well-defined syntax and semantics. these contracts can then be used in order to validate complex, plugin-based applications.
the sensor network service has emerged as a new technical research area. the sensor network service provides useful functions to the user by sensing the condition of physical entities. One important issue that is rare...
详细信息
ISBN:
(纸本)9780769528953
the sensor network service has emerged as a new technical research area. the sensor network service provides useful functions to the user by sensing the condition of physical entities. One important issue that is rarely addressed by current studies on the sensor network service is that they only use sensor-derived data to achieve local service goals. However, once external users can discover globally deployed sensor networks, the information which is created by such networks will be more expansible to various novel services. Recently, few studies have addressed the importance of sensor-derived data sharing, but they have not shown deep concern about ways to share sensor-derived data with external users. this paper proposes the sensor network registry for the sensor network registration and discovery. We explore the information that the sensor network registry should maintain in order to enable sensor network services to be shared, and also design the architecture of the system. We expect the sensor network registry will make sensor network technology more useful, just as a good Web search engine makes the Internet more useful.
暂无评论