4067 search results - page 334 / 814 » Programs for Applying Symmetries |
211
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...
206
click to vote
ACNS
2011
Springer
14 years 10 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
153
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
180
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Although support vector machines (SVMs) for binary classification give rise to a decision rule that only relies on a subset of the training data points (support vectors), it will ...
304
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...