135
click to vote
ETRICS
2006
15 years 6 months ago
2006
Abstract. Practical computer (in)security is largely driven by the existence of and knowledge about vulnerabilities, which can be exploited to breach security mechanisms. Although ...
ETRICS
2006
15 years 6 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
123
click to vote
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
- This paper presents two laser scanner based approaches to locate and pick-up pallets with the aim of automating forklift trucks. In contrast to camera based systems our approache...
125
click to vote
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
The term innovation resonates broadly in the cyberspace, books, and journals. A careful analysis of the literature indicates that the knowledge of the underlying science of innova...
129
click to vote
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...