3454 search results - page 155 / 691 » Modern computer algebra |
127
click to vote
POLICY
2007
Springer
16 years 18 days ago
2007
Springer
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
173
click to vote
FAC
2010
15 years 5 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
167
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
154
click to vote
AIED
2007
Springer
16 years 20 days ago
2007
Springer
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
193
click to vote
BTW
2007
Springer
16 years 19 days ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...