检索结果-内蒙古大学图书馆

8th International Workshop on Descriptional Complexity of Formal systems, DCFS 2006

作者： Nießner, Frank Ultes-Nitsche, Ulrich Department of Computer Science TelecommunicationsNetworks and Security Research Group University of Fribourg Boulevard de Pérolles 90 CH-1700 Fribourg Switzerland

Many systems can be described formally by nondeterministic Buchi automata. The complexity of model checking then essentially depends on deciding subset conditions on languages which are recognizable by these automata and which represent the system behavior and the desired properties of the system. The involved complementation process may lead to an exponential blow-up in the size of the automata. Therefore, we investigate a rich subclass of properties, called deterministic regular liveness properties, for which the above mentioned blow-up can be avoided. In this paper we will present a decomposition lemma for this language class that entails a complete characterization of the deterministic regular liveness properties, and extend an existing incomplete result which then, too, characterizes the deterministic regular liveness properties completely.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Specification of deterministic regular liveness properties

Specification of deterministic regular liveness properties

引用

4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

作者： Nießner, Frank Telecommunications Networks and Security Research Group Department of Computer Science University of Fribourg Boulevard de Pérolles 90 CH-1700 Fribourg Switzerland

ISBN: (纸本)9789728865498

Even up-to-date automated verfication techniques are affected by the fundamental complexity of verification algorithms which is caused by necessity to decide subset conditions on certain languages. These languages are recognizable by nondeterministic Büchi automata and represent a system behavior and the desired properties of the system. The involved complementation process may lead to an exponential blow-up in the size of the automata. In this paper we specify the structure of a rich subclass of languages that can be characterized by deterministic Büchi automata and hence be complemented rather easily. Furthermore, we present examples of practically relevant properties belonging to this language class.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Waters network's potential to transform environmental engineering education

Waters network's potential to transform environmental engine...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Eschenbach, Elizabeth Montgomery, Jami Johnson, James Brus, Chris Carlson, Patricia Giammar, Dan Grauer, Bette Hotaling, Liesl Oguntimein, Gbekeloluwa Safferman, Steven Wentling, Tim Humboldt State University United States Department of Environmental Resources Engineering Humboldt State University United States WATERS Network - CLEANER Project Office Network Howard University United States Department of Environmental Engineering College of Engineering Architecture and Computer Sciences Howard University United States American Academy of Environmental Engineers United States University of Iowa United States Program University of Iowa United States Rose-Hulman Institute of Technology United States Department of Rhetoric Rose-Hulman Institute of Technology United States National Research Council U. S. Air Force United States NASA's Classroom of the Future Wheeling WV United States Washington University United States Department of Energy Environmental and Chemical Engineering Washington University St. Louis United States Environmental Studies Program Center for Materials Innovation United States McPherson High School United States McPherson High School McPherson KS United States Stevens Institute of Technology United States Stevens Institute of Technology United States Morgan State University United States Michigan State University United States Biosystems and Agricultural Engineering Department Michigan State University United States University of Dayton United States Education Planning Committee National Center for Supercomputing Applications United States Department of Information Science Graduate School of Library and Information Science National Center for Supercomputing Applications University or Illinois United States Knowledge and Learning Systems Group NCSA United States

The WATERS Network (WATer and Environmental research systems Network) will be an integrated real-time distributed observing system which will enable academic and government scientists, engineers, educators, and practitioners to advance effective management of our nation's water resources by understanding human interactions with water and the natural and built environment. WATERS will provide easily accessible real time environmental data as well as analysis tools to engineers, scientists, educators, K- graduate students and policymakers so they can better understand how water quantity, quality and related components of the hydrologic cycle are impacted by natural and human influences. The WATERS strategic plan will be completed by July 2007 and requires constituent input. This paper describes the draft Conceptual Design and the Education Plan of WATERS Network. This paper will highlight the potential impact of WATERS on undergraduate and graduate environmental engineering education in order to elicit input from the environmental engineering education community on how WATERS Network could better meet the future needs of undergraduate and graduate students and educators. More information can be found at ***. © American Society for Engineering Education, 2007.

关键词： Water resources

来源：评论

学校读者我要写书评

暂无评论

Real-time coordination of autonomous vehicles

Real-time coordination of autonomous vehicles

引用

International Conference on Intelligent Transportation

作者： M. Bouroche B. Hughes V. Cahill Distributed Systems Group Computer Science Department Trinity College Dublin Ireland

Autonomous vehicles seem to be a promising approach to both reducing traffic congestion and improving road safety. However, for such vehicles to coexist safely, they need to coordinate their behaviour to ensure that they do not collide with each other. This coordination is typically based on (wireless) communication between vehicles and needs to satisfy stringent real-time constraints. However, realtime message delivery cannot be guaranteed in dynamic wireless networks which means that existing coordination models that rely on continuous connectivity cannot be employed. In this paper, we present a novel coordination model for autonomous vehicles that does not require continuous real-time connectivity between participants in order to ensure that system safety constraints are not violated. This coordination model builds on a real-time communication model for wireless networks that provides feedback to entities about the state of communication. The coordination model uses this feedback to ensure that vehicles always satisfy safety constraints, by adapting their behaviour when communication is degraded. We show that this model can be used to coordinate vehicles crossing an unsignalised junction

关键词： Remotely operated vehicles Mobile robots Vehicle safety Wireless networks Road vehicles Road safety Wireless communication Vehicle dynamics Real time systems State feedback

来源：评论

学校读者我要写书评

暂无评论

Security considerations in space and delay tolerant networks

Security considerations in space and delay tolerant networks

引用

IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT

作者： S. Farrell V. Cahill Distributed Systems Group Department of Computer Science Trinity College Dublin Ireland

This paper reviews the Internet-inspired security work on delay tolerant networking, in particular, as it might apply to space missions, and identifies some challenges arising, for both the Internet security community and for space missions. These challenges include the development of key management schemes suited for space missions as well as a characterization of the actual security requirements applying. A specific goal of this paper is therefore to elicit feedback from space mission IT specialists in order to guide the development of security mechanisms for delay tolerant networking

关键词： Intelligent networks Disruption tolerant networking Space missions IP networks Protocols Data security Web and internet services computer security Space technology Cryptography

来源：评论

学校读者我要写书评

暂无评论

A framework for specification and performance evaluation of service discovery protocols in mobile ad-hoc networks

引用

Ad Hoc networks 2006年第1期4卷 1-23页

作者： Shenoi, Avinash Yesha, Yelena Yesha, Yaacov Joshi, Anupam Department of Computer Science and Electrical Engineering University of Maryland Baltimore County 1000 Hilltop Circle Baltimore MD 21250 United States Ebiquity Research Group Department of Computer Science and Electrical Engineering University of Maryland Baltimore County IEEE Transaction on Knowledge and Data Engineering IEEE ACM UMBC IEEE Transactions of Fuzzy Systems IEEE IEEE-CS ACM

Service discovery protocols are extremely important for developing distributed applications in ad-hoc environments. However to perform Service Discovery in mobile ad-hoc networks requires the design and development of extremely complex and dynamic systems. This requires a paradigm shift in the methodologies employed to design and evaluate these systems so as to ensure quality and correctness. Currently there exists no generic method for formally specifying these systems. Due to this it is extremely difficult to formally analyze protocols in this domain to study and observe the behavior. The same issue also hinders comparison of different protocols against a fixed set of metrics. In this work we propose a framework for the formal specification of service discovery protocols in mobile ad-hoc networks. The purpose of this framework is to provide a formal basis for performance evaluation and behavioral study of these protocols. This allows different service discovery architectures to be evaluated against a given set of metrics, a generic way to specify protocols and an automated process for performance evaluation and behavioral study. © 2004 Elsevier B.V. All rights reserved.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Evaluation of surplus round robin scheduling algorithm

Evaluation of surplus round robin scheduling algorithm

引用

International Symposium on Performance Evaluation of computer and Telecommunication systems 2006, SPECTS 2006, Part of the 2006 Summer Simulation Multiconference, SummerSim 2006

作者： Nikolova, Dessislava Blondia, Chris University of Antwerp Department of Mathematics and Computer Science Performance Analysis of Telecommunication Systems Research Group Middelheimlaan 1 B-2020 Antwerpen Belgium Belgium

ISBN: (纸本)9781622763535

In multi-service packet networks the packet scheduling algorithm plays a key role in delivering guaranteed service to different flows. In this article we evaluate surplus round robin (SRR) scheduling algorithm. We apply the Latency-Rate (LR) servers theory in order to obtain bounds on the latency and delay provided by the algorithm. We compare the performance characteristics of SRR with the popular deficit round robin (DRR) algorithm to conclude that SRR can provide better performance than DRR.

关键词： Routers

来源：评论

学校读者我要写书评

暂无评论

QoS traffic in wireless LAN overlapping cells 12

QoS traffic in wireless LAN overlapping cells

引用

12th European Wireless Conference on Enabling Technologies for Wireless Multimedia Communications, European Wireless 2006

作者： Pries, Rastin Heck, Klaus Tran-Gia, Phuoc Wirth, Thomas University of Würzburg Deptartment of Distributed Systems Würzburg Germany Hotzone GmbH Würzburg Germany Robotics Group Department for Mathematics and Computer Science University of Bremen Bibliotheksstr. 1 Bremen28359 Germany

ISBN: (纸本)9783800729616

The IEEE 802.11 standard is playing an increasingly important role in next generation mobile radio networks. In order to fulfill the requirements of such networks, the Wireless LAN technology has to provide mechanisms for transporting Quality-of-Service (QoS) enabled traffic in large Wireless LAN deployments. In this paper, we show that the existing Medium Access Control (MAC) protocols perform well within single cell scenarios, but their performance drops drastically in environments with overlapping cells. Therefore, we evaluate the robustness of the Enhanced distributed Channel Access (EDCA) MAC protocol in different scenarios with overlapping cells.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Medium Access Control with Adjustable Sleeps for Wireless Sensor networks

Medium Access Control with Adjustable Sleeps for Wireless Se...

引用

IEEE Symposium on computers and Communications (ISCC)

作者： C.K. Nguyen A. Kumar Mobile Information Networks & Distributed Systems MINDS Lab Computer Engineering & Computer Science CECS Department University of Louisville Louisville KY USA

The paper proposes a throughput and energy-aware medium-access-control protocol for wireless sensor networks. The proposed approach provides a sleeping-time adjustment scheme to flexibly adjust the sleep time to reduce the wasted energy in a low-traffic network and increase the throughput in a high-traffic network. The sleeping and waking durations are determined using time counters rather than time slots. A waking-time sharing scheme is responsible for establishing the common waking time among a group of neighbors for group communication. The proposed protocol solves the energy inefficiency caused by idle listening. Simulation experiments have been performed to demonstrate the effectiveness of the proposed approach compared to some other energy-aware medium-access-control protocols.

关键词： Media Access Protocol Sleep Wireless sensor networks Throughput Access protocols Energy consumption Scheduling Wireless application protocol Frequency Time division multiple access

来源：评论

学校读者我要写书评

暂无评论

A brief Introduction to MOSEL-2

A brief Introduction to MOSEL-2

引用

13th GI/ITG Conference - Measuring, Modelling and Evaluation of computer and Communication systems

作者： Patrick Wuechner Hermann de Meer Joerg Barner Gunter Bolch Chair of Computer Networks and Computer Communications Faculty of Mathematics and Computer Science University of Passau Innstr. 33 94032 Passau Germany Research Group on Analytical Modeling Chair of Distributed Systems and Operating Systems Department of Computer Science University of Erlangen-Nürnberg Martensstr. 1 91058 Germany

The versatile MOdeling, Specification and Evaluation Language is the core element of the MOSEL-2 tool. This description languages provides a high-level means for specifying models, performance measures, and the graphical presentation of results. The description languages is implemented in form of an evaluation environment that comprises translators to the modeling languages of several third-party performance evaluation tools that evaluate the specified model.

关键词： Numerical models Computational modeling Stochastic processes Mathematical model Analytical models computer performance Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：