Sciweavers

1926 search results - page 272 / 386
» Hierarchical Peer-to-Peer Systems
Sort
View
84
Voted
OOPSLA
2005
Springer
15 years 6 months ago
Using dependency models to manage complex software architecture
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jac...
98
Voted
SACMAT
2004
ACM
15 years 6 months ago
Role-based cascaded delegation
We propose role-based cascaded delegation, a model for delegation of authority in decentralized trust management systems. We show that role-based cascaded delegation combines the ...
Roberto Tamassia, Danfeng Yao, William H. Winsboro...
104
Voted
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 6 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
104
Voted
ACSD
1998
IEEE
105views Hardware» more  ACSD 1998»
15 years 5 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
96
Voted
UIST
1994
ACM
15 years 4 months ago
Putting People First: Specifying Proper Names in Speech Interfaces
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
Matthew Marx, Chris Schmandt