2706 search results - page 340 / 542 » The case for a new business model |
177
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
169
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
217
click to vote
AMDO
2000
Springer
15 years 10 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
167
click to vote
IDA
2002
Springer
15 years 6 months ago
2002
Springer
Feature subset selection is important not only for the insight gained from determining relevant modeling variables but also for the improved understandability, scalability, and pos...
207
click to vote
SACMAT
2006
ACM
16 years 17 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...