Sciweavers

2028 search results - page 173 / 406
» Differential Power Analysis Model and Some Results
Sort
View
CN
1998
118views more  CN 1998»
15 years 6 months ago
Predicting Network Traffic for Collaborative Virtual Environments
We introduce a method for predicting the network traffic that will be generated by Collaborative Virtual Environment applications with varying numbers of participants. Statistical...
Chris Greenhalgh, Steve Benford, Adrian Bullock, N...
IPAW
2010
15 years 3 months ago
Towards a Threat Model for Provenance in e-Science
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
Luiz M. R. Gadelha Jr., Marta Mattoso, Michael Wil...
MFCS
2005
Springer
16 years 10 hour ago
Concurrent Automata vs. Asynchronous Systems
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
Rémi Morin
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 11 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
FSS
2008
130views more  FSS 2008»
15 years 6 months ago
A fuzzy k-partitions model for categorical data and its comparison to the GoM model
The grade of membership (GoM) model uses fuzzy sets as memberships of each individual to extreme profiles (or classes) on the likelihood function of multivariate multinomial distr...
Miin-Shen Yang, Yu-Hsuan Chiang, Chiu-Chi Chen, Ch...