5630 search results - page 836 / 1126 » Computability in Specification |
177
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 ...
205
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...
177
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer manipulated social networks are usually built from the explicit assertion by users that they have some relation with other users or by the implicit evidence of s...
195
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
Network-on-Chip combined with Globally Asynchronous Locally Synchronous paradigm is a promising architecture for easy IP integration and utilization with multiple voltage levels. ...
175
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
The context-free language (CFL) reachability problem is well known and studied in computer science, as a fundamental problem underlying many important static analyses such as point...