Sciweavers

3119 search results - page 171 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
CADE
2004
Springer
16 years 3 months ago
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
Graham Steel, Alan Bundy, Monika Maidl
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
15 years 9 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
137
Voted
MM
2005
ACM
111views Multimedia» more  MM 2005»
15 years 9 months ago
A flexible system for creating music while interacting with the computer
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
Zeljko Obrenovic
ICDCS
2010
IEEE
15 years 7 months ago
A Hybrid Approach to High Availability in Stream Processing Systems
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
Zhe Zhang, Yu Gu, Fan Ye, Hao Yang, Minkyong Kim, ...
AMEC
2004
Springer
15 years 9 months ago
A Mechanism for Multiple Goods and Interdependent Valuations
Abstract. This paper reports on the design of an auction mechanism for allocating multiple goods when the buyers have interdependent valuations. We cast the problem as a multi-agen...
Rajdeep K. Dash, Alex Rogers, Nicholas R. Jennings