2838 search results - page 360 / 568 » Verifying Controlled Components |
177
Voted
IEEESCC
2008
IEEE
16 years 1 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...
196
click to vote
COLCOM
2007
IEEE
16 years 1 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...
158
click to vote
CSFW
2006
IEEE
16 years 1 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...
179
click to vote
ISCAS
2005
IEEE
16 years 17 days 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...
172
Voted
ARCS
2005
Springer
16 years 13 days 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 ...