6153 search results - page 72 / 1231 » Modeling Cyclic Change |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward t...
AOSE
2008
Springer
13 years 11 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
WCRE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Change coupling is the implicit relationship between two or more software artifacts that have been observed to frequently change together during the evolution of a softw...