4150 search results - page 695 / 830 » A Practical Approach to Model Extension |
165
click to vote
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
184
click to vote
ACSD
2006
IEEE
16 years 13 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
154
click to vote
ICDCS
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
161
click to vote
PRDC
2006
IEEE
16 years 11 days ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
158
click to vote
SCAM
2006
IEEE
16 years 11 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...