3931 search results - page 684 / 787 » Separation logic and abstraction |
208
click to vote
SOCO
2007
Springer
16 years 1 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...
182
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
165
click to vote
IJCNN
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
189
click to vote
ISCC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
178
click to vote
SEFM
2006
IEEE
16 years 27 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...