131
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
135
Voted
COMSWARE
2006
IEEE
15 years 7 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
111
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
143
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
128
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...