Sciweavers

4241 search results - page 600 / 849
» A Knowledge-Based Software Information System
Sort
View
158
Voted
FIRSTMONDAY
2008
121views more  FIRSTMONDAY 2008»
15 years 6 months ago
Free and Open Source Licenses in Community Life: Two Empirical Cases
How do licenses participate in Free and Open Source Software (FLOSS) community life? This paper aims at answering this question. Despite the dynamic character of FLOSS development...
Stefano De Paoli, Maurizio Teli, Vincenzo D'Andrea
JSW
2008
98views more  JSW 2008»
15 years 6 months ago
Towards a Collaborative and Systematic Approach to Alert Verification
With the menace of hackers increasing every day, even well administrated networks are vulnerable to attack. Therefore, securing network assets has become a significant issue for th...
Xuejiao Liu, Debao Xiao, Xi Peng
173
Voted
TASE
2008
IEEE
15 years 6 months ago
Automated Planning and Optimization of Lumber Production Using Machine Vision and Computed Tomography
An automated system for planning and optimization of lumber production using Machine Vision and Computed Tomography (CT) is proposed. Cross-sectional CT images of hardwood logs are...
Suchendra M. Bhandarkar, Xingzhi Luo, Richard F. D...
CSCW
2002
ACM
15 years 6 months ago
Sharing and building digital group histories
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
Chia Shen, Neal Lesh, Frédéric Verni...
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...