2448 search results - page 292 / 490 » The Octahedron Abstract Domain |
166
click to vote
IGPL
2006
15 years 4 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
140
Voted
ISI
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. Schema matching is a crucial task to gather information of the same domain. However, this process is still largely performed manually or semi-automatically, discouraging ...
132
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
154
click to vote
DKE
2007
15 years 4 months ago
2007
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
130
Voted
MMS
2008
15 years 4 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...