5550 search results - page 838 / 1110 » Different Approaches to Proof Systems |
172
click to vote
VRML
2009
ACM
16 years 1 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
163
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...
175
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We tackle the problem of providing minimum datarate guarantees for different classes-of-service in an OFDMAbased network, while obtaining a high system throughput. Our a...
164
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
185
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In an ad-hoc collaborative sharing environment, attribute-based access control provides a promising approach in defining authorization over shared resources based on users’ p...