16430 search results - page 2904 / 3286 » On Computable Tree Functions |
181
click to vote
ENTER
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports an explanatory study of using Google Map API to develop two destinationspecific tourist information tools: a handheld tour guide and an online trip planner for ...
157
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
222
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
177
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
176
click to vote
CANDT
2009
15 years 10 months ago
2009
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...