4911 search results - page 325 / 983 » Tree dependence analysis |
152
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
1 This paper compares the CORE rankings of computing conferences and journals to the frequency of citation of those journals and conferences in the Australasian Computer Science Co...
154
Voted
ASWEC
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
138
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
122
click to vote
PRDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
157
click to vote
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Delay tolerant networks (DTNs) are a class of networks that experience frequent and long-duration partitions due to sparse distribution of nodes. The topological impairments ex...