979 search results - page 110 / 196 » Presentations for Abstract Context Institutions |
FMCAD
2009
Springer
14 years 1 days ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
GREC
2009
Springer
14 years 23 hour ago
2009
Springer
Abstract. In this paper we propose a new approach to recognize symbols by the use of a concept lattice. We propose to build a concept lattice in terms of graphical patterns. Each m...
AICCSA
2006
IEEE
13 years 12 months ago
2006
IEEE
Abstract-- In ubiquitous computing environments, many devices and agents interoperate with each other and use services provided by others. But the problem is that there may be requ...
ASIAN
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
COOPIS
2004
IEEE
13 years 12 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...