Sciweavers

1959 search results - page 221 / 392
» Concerned About Separation
Sort
View
CSFW
2002
IEEE
16 years 2 days ago
Secrecy in Multiagent Systems
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
Joseph Y. Halpern, Kevin R. O'Neill
221
Voted
MODELS
2009
Springer
15 years 11 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
162
Voted
ICCD
2000
IEEE
87views Hardware» more  ICCD 2000»
15 years 11 months ago
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks
This paper describes the application of binary and multivalued SPFD-based wire removal techniques for circuit implementations utilizing networks of PLAs. It has been shown that a ...
Subarnarekha Sinha, Sunil P. Khatri, Robert K. Bra...
IPPS
1999
IEEE
15 years 11 months ago
High Speed, High Capacity Bused Interconnects using Optical Slab Waveguides
In this paper we consider the use of optical slab waveguides as buses in a parallel computing environment. We show that slab buses can connect to many more elements than convention...
Martin Feldman, Ramachandran Vaidyanathan, Ahmed E...
PAKDD
2010
ACM
175views Data Mining» more  PAKDD 2010»
15 years 11 months ago
EigenSpokes: Surprising Patterns and Scalable Community Chipping in Large Graphs
Abstract. We report a surprising, persistent pattern in large sparse social graphs, which we term EigenSpokes. We focus on large Mobile Call graphs, spanning about 186K nodes and m...
B. Aditya Prakash, Ashwin Sridharan, Mukund Seshad...