2687 search results - page 263 / 538 » Formal Analysis of PKCS |
178
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
212
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
170
click to vote
SEFM
2007
IEEE
16 years 29 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
176
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
162
Voted
ICWE
2007
Springer
16 years 25 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...