3799 search results - page 43 / 760 » An Engineering Approach to Formal Methods |
171
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 5 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
129
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
119
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
133
Voted
SIAMDM
2011
14 years 6 months ago
2011
109
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...