3931 search results - page 569 / 787 » Separation logic and abstraction |
190
Voted
FGCN
2008
IEEE
16 years 1 months 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 ...
200
Voted
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
185
Voted
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Fast stream ciphers are used extensively for encrypted data transmission in mobile networks and over multigigabit links. CryptMT, a recently proposed stream cipher, is o...
189
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
215
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...