9186 search results - page 405 / 1838 » A Module System for Scheme |
179
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
For a wireless network to effectively deliver services to the mobile users, it must have an efficient way to track them. The location management fulfills this task through locat...
213
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
147
click to vote
MEMOCODE
2005
IEEE
16 years 12 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
169
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Distributed applications using file sharing and file replication, conferencing, and delivery in multimedia systems often need to use the semantics of causal multicast. Causal mult...
190
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Photographic Retrieval task of ImageCLEF 2007. For this campaign, the main purpose of our ex...