3238 search results - page 492 / 648 » Multi-return function call |
107
click to vote
DLOG
2007
15 years 4 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
126
click to vote
AIMS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
115
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
133
click to vote
APNOMS
2008
Springer
15 years 4 months ago
2008
Springer
Today, mobile devices are being used for various applications such as making voice/video calls, browsing Internet and so on. The operating time and battery consumption spent in tho...
127
click to vote
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents a novel approach towards detecting intrinsically two-dimensional (i2D) image structures using local phase information. The local phase of the i2D stru...