SAC
2009
ACM
13 years 11 months ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
In the past decades, parallel I/O systems have been used widely to support scientific and commercial applications. New data centers today employ huge quantities of I/O systems, wh...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Outlyingness is a subjective concept relying on the isolation level of a (set of) record(s). Clustering-based outlier detection is a field that aims to cluster data and to detect...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...