2858 search results - page 444 / 572 » Logics with Aggregate Operators |
140
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
151
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
168
click to vote
IWMM
2009
Springer
16 years 27 days ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
162
click to vote
FGCN
2008
IEEE
16 years 24 days ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
150
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...