9110 search results - page 1431 / 1822 » Formally-Based Design Evaluation |
156
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
154
click to vote
EUC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Location is the most essential presence information for mobile users. In this paper, we present an improved time-based clustering technique for extracting significant lo...
142
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a design and an implementation of document image retrieval to support reading mokkans. A mokkan is a wooden tablet with text written by a brush in India ink. D...
192
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
189
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...