Sciweavers

10042 search results - page 1375 / 2009
» Interactive Topic Modeling
Sort
View
ECAI
2006
Springer
15 years 11 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
EUROCRYPT
2006
Springer
15 years 11 months ago
Compact Group Signatures Without Random Oracles
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
Xavier Boyen, Brent Waters
183
Voted
PADL
2000
Springer
15 years 11 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
VECPAR
2000
Springer
15 years 10 months ago
Finite/Discrete Element Analysis of Multi-fracture and Multi-contact Phenomena
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
D. R. J. Owen, Y. T. Feng, Jianguo Yu, Djordje Per...
187
Voted
EURODAC
1995
IEEE
173views VHDL» more  EURODAC 1995»
15 years 10 months ago
Cooperative concurrency control for design environments
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
Ansgar Bredenfeld
« Prev « First page 1375 / 2009 Last » Next »