7623 search results - page 1277 / 1525 » Constructive Volume Modeling |
222
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
236
click to vote
PKC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The ring signature allows a signer to leak secrets anonymously, without the risk of identity escrow. At the same time, the ring signature provides great flexibility: No ...
196
click to vote
RE
2007
Springer
16 years 1 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...
174
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
173
click to vote
RV
2007
Springer
16 years 1 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...