3414 search results - page 621 / 683 » System Support for Object Groups |
102
click to vote
JFP
2007
14 years 9 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
IANDC
2011
14 years 4 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
100
click to vote
ICPADS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. In identity-based (ID-based) cryptosystems, a local registration authority (LRA) is responsible for authentication of users while the key generation center (KGC) is respo...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Wireless IEEE 802.11 networks in residences, small businesses, and public “hot spots” typically encounter the wireline access link (DSL, cable modem, T1, etc.) as the slowest ...
MOZ
2004
Springer
15 years 3 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...