1690 search results - page 170 / 338 » Algorithmic Properties of Millstream Systems |
150
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
140
Voted
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
147
click to vote
ISMVL
2008
IEEE
15 years 11 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
154
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
133
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...