Sciweavers

1961 search results - page 58 / 393
» PicoDBMS: Validation and Experience
Sort
View
81
Voted
ISSE
2010
14 years 9 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu
105
Voted
JNW
2010
62views more  JNW 2010»
14 years 9 months ago
An Incentive Mechanism for Tree-based Live Media Streaming Service
Abstract— Tree-based structure is widely used in peer-topeer streaming service and is the fundamental of many other structures, but it suffers a lot from the existence of free-ri...
Shuang Yang, Xin Wang
MICCAI
2010
Springer
14 years 9 months ago
Appearance Normalization of Histology Slides
Abstract. This paper presents a method for automatic color and intensity normalization of digitized histology slides stained with two different agents. In comparison to previous a...
Marc Niethammer, David Borland, J. S. Marron, John...
SWARM
2010
SPRINGER
420views Optimization» more  SWARM 2010»
14 years 9 months ago
Fireworks Algorithm for Optimization
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...
Ying Tan, Yuanchun Zhu
79
Voted
TMC
2010
178views more  TMC 2010»
14 years 9 months ago
Cost Analysis of Short Message Retransmissions
Short Message Service (SMS) is the most popular mobile data service today. In Taiwan, a subscriber sends more than 200 short messages per year on average. The huge demand for SMS ...
Sok-Ian Sou, Yi-Bing Lin, Chao-Liang Luo