3931 search results - page 685 / 787 » Separation logic and abstraction |
186
click to vote
ASWEC
2005
IEEE
16 years 15 days ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
184
click to vote
CAMP
2005
IEEE
16 years 15 days ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
152
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
187
click to vote
ICDE
2005
IEEE
16 years 15 days ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
176
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...