10910 search results - page 259 / 2182 » Input modeling using a computer algebra system |
201
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
165
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
155
click to vote
EURONGI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...
176
click to vote
ACSC
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
165
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
We present a high performance algorithm for multiplying sparse distributed polynomials using a multicore processor. Each core uses a heap of pointers to multiply parts of the poly...