1121 search results - page 127 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
145
Voted
SOCO
2007
Springer
15 years 8 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
106
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
121
Voted
ML
2006
ACM
15 years 1 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
119
click to vote
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
138
click to vote
CGF
2004
15 years 1 months ago
2004
Visualization is a powerful tool for analysing data and presenting results in science, engineering and medicine. This paper reviews ways in which it can be used in distributed and...