SAC
2009
ACM
14 years 5 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
14 years 5 months ago
2009
ACM
SAC
2009
ACM
14 years 5 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
14 years 5 months ago
2009
ACM
SAC
2009
ACM
14 years 5 months ago
2009
ACM
SAC
2009
ACM
14 years 5 months ago
2009
ACM
SAC
2009
ACM
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 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...