2152 search results - page 138 / 431 » An Abstract Account of Composition |
132
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Real-time parallel MRI reconstruction was demonstrated using a hybrid implementation of the TGRAPPA algorithm. The GRAPPA coefficients were calculated in k-space and appl...
154
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
165
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
172
click to vote
COMPSAC
2008
IEEE
16 years 29 days ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
181
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...