Sciweavers

3754 search results - page 571 / 751
» Process modeling paradigms: an evaluation
Sort
View
RV
2010
Springer
119views Hardware» more  RV 2010»
15 years 4 months ago
LarvaStat: Monitoring of Statistical Properties
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
Christian Colombo, Andrew Gauci, Gordon J. Pace
MVA
2011
344views Computer Vision» more  MVA 2011»
15 years 26 days ago
Image registration for visual inspection of imprinted pharmaceutical tablets
Image registration plays a vital role in visual quality inspection of tablets with imprints. In this paper, three registration methods, based on direct matching of pixel intensitie...
Ziga Spiclin, Marko Bukovec, Franjo Pernus, Bostja...
ICSE
2012
IEEE-ACM
13 years 8 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
138
Voted
AINA
2008
IEEE
16 years 12 days ago
A Concept of an Anonymous Direct P2P Distribution Overlay System
The paper introduces a peer-to-peer system called P2PRIV (peer-to-peer direct and anonymous distribution overlay). Basic novel features of P2PRIV are: (i) a peer-to-peer parallel ...
Igor Margasinski, Michal Pióro
ICC
2008
IEEE
121views Communications» more  ICC 2008»
16 years 10 days ago
Performance of ALOHA and CSMA in Spatially Distributed Wireless Networks
—In this paper the performance of unslotted ALOHA and CSMA are analyzed in spatially distributed wireless networks. Users/packets arrive randomly in space and time according to a...
Mariam Kaynia, Nihar Jindal