585 search results - page 42 / 117 » Structured Formal Development in Isabelle |
ICCCN
2008
IEEE
15 years 6 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
141
click to vote
FMCO
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
115
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
114
click to vote
CVPR
2006
IEEE
15 years 5 months ago
2006
IEEE
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...