2838 search results - page 360 / 568 » Verifying Controlled Components |
112
Voted
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Since the inception of service-oriented computing paradigm, we have witnessed a plethora of services deployed across a broad spectrum of applications, ranging from conventional RP...
102
Voted
COLCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—In an ad-hoc collaborative sharing environment, attribute-based access control provides a promising approach in defining authorization over shared resources based on users’ p...
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
101
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
—JPEG2000 image compression standard is designed to cater the needs of a large span of applications including numerous consumer products. However, its use is still restricted due...
ARCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...