Sciweavers

1100 search results - page 104 / 220
» From Goals to Aspects: Discovering Aspects from Requirements...
Sort
View
IACR
2011
113views more  IACR 2011»
14 years 6 months ago
GNUC: A New Universal Composability Framework
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
Dennis Hofheinz, Victor Shoup
TKDE
2008
108views more  TKDE 2008»
15 years 6 months ago
Grid Service Discovery with Rough Sets
The computational grid is rapidly evolving into a service-oriented computing infrastructure that facilitates resource sharing and large-scale problem solving over the Internet. Ser...
Maozhen Li, Bin Yu, Omer F. Rana, Zidong Wang
TASLP
2010
126views more  TASLP 2010»
15 years 4 months ago
Modeling Music as a Dynamic Texture
—We consider representing a short temporal fragment of musical audio as a dynamic texture, a model of both the timbral and rhythmical qualities of sound, two of the important asp...
Luke Barrington, Antoni B. Chan, Gert R. G. Lanckr...
UML
2001
Springer
15 years 10 months ago
Catalytic Modeling: UML meets XP
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
Alan Wills
ATAL
2006
Springer
15 years 10 months ago
Distributed navigation in an unknown physical environment
We address the problem of navigating from an initial node to a goal node by a group of agents in an unknown physical environment. In such environments mobile agents must physicall...
Arnon Gilboa, Amnon Meisels, Ariel Felner