5904 search results - page 156 / 1181 » Requirements for a Composition Language |
88
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
142
Voted
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
114
Voted
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
143
Voted
BMEI
2009
IEEE
15 years 4 months ago
2009
IEEE
It is widely accepted that complexity of biological systems arises from combinations of common subunits. In this work we investigate the combinatorial patterns of protein domains ...
130
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...