1818 search results - page 230 / 364 » Granularity-Adaptive Proof Presentation |
134
click to vote
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
149
click to vote
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
128
click to vote
AND
2009
15 years 1 months ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
162
click to vote
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
130
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...