5786 search results - page 852 / 1158 » Lines Pinning Lines |
175
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
187
click to vote
INDIASE
2009
ACM
15 years 11 months ago
2009
ACM
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
176
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we identify and solve a new type of spatial queries, called continuous visible nearest neighbor (CVNN) search. Given a data set P, an obstacle set O, and a query li...
176
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
In response to the constant increase in wire delays, Non-Uniform Cache Architecture (NUCA) has been introduced as an effective memory model for dealing with growing memory latenci...
200
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...