1573 search results - page 157 / 315 » Signs and Formal Concepts |
173
click to vote
ECLIPSE
2006
ACM
16 years 6 days ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...
193
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
179
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
178
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
189
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...