10916 search results - page 195 / 2184 » On Constructive Connectives and Systems |
148
click to vote
WICSA
2001
15 years 8 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
179
click to vote
RTS
2006
15 years 6 months ago
2006
Timing constraints for radar tasks are usually specified in terms of the minimum and maximum temporal distance between successive radar dwells. We utilize the idea of feasible int...
228
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
183
click to vote
JAIR
2010
15 years 1 months ago
2010
The Aviation Safety Reporting System collects voluntarily submitted reports on aviation safety incidents to facilitate research work aiming to reduce such incidents. To effectivel...
176
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...