4924 search results - page 782 / 985 » A Software System for Spatial Data Analysis and Modeling |
186
click to vote
AVI
2008
15 years 9 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
242
Voted
JUCS
2008
15 years 7 months ago
2008
: In order to enhance their global business performance, organizations must be careful with the quality of their information since it is one of their main assets. Analogies to qual...
209
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
203
click to vote
NCA
2003
IEEE
16 years 8 days ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
208
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...