Sciweavers

2880 search results - page 433 / 576
» Types are calling conventions
Sort
View
PAAMS
2010
Springer
15 years 10 months ago
Mobile Agents in Vehicular Networks: Taking a First Ride
A vehicular ad hoc network (VANET) is a type of mobile network whose nodes are traveling cars which communicate with one another using short-range wireless communications. These ca...
Oscar Urra, Sergio Ilarri, Thierry Delot, Eduardo ...
RTA
2010
Springer
15 years 10 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu
SIGIR
2010
ACM
15 years 10 months ago
Image search by concept map
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...
Hao Xu, Jingdong Wang, Xian-Sheng Hua, Shipeng Li
CTRSA
2009
Springer
112views Cryptology» more  CTRSA 2009»
15 years 10 months ago
Divisible On-Line/Off-Line Signatures
On-line/Off-line signatures are used in a particular scenario where the signer must respond quickly once the message to be signed is presented. The idea is to split the signing pro...
Chong-zhi Gao, Baodian Wei, Dongqing Xie, Chunming...
ICDM
2007
IEEE
155views Data Mining» more  ICDM 2007»
15 years 10 months ago
Transitional Patterns and Their Significant Milestones
Mining frequent patterns in transaction databases has been studied extensively in data mining research. However, most of the existing frequent pattern mining algorithms do not con...
Qian Wan, Aijun An