3081 search results - page 516 / 617 » A Formal Ontology of Properties |
152
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
170
click to vote
APSEC
2008
IEEE
16 years 27 days ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
177
click to vote
BMEI
2008
IEEE
16 years 27 days ago
2008
IEEE
Standard Gene Expression Programming(GEP) works with fixed rate of mutation and crossover, ignoring the variation of the individual fitness, hence it works in the local optimum st...
141
click to vote
ICDCS
2008
IEEE
16 years 26 days ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...
167
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— We present heuristic algorithms for pruning large sets of candidate paths or trajectories down to smaller subsets that maintain desirable characteristics in terms of overall re...