4924 search results - page 311 / 985 » A Software System for Spatial Data Analysis and Modeling |
148
click to vote
GLOBECOM
2008
IEEE
16 years 22 days ago
2008
IEEE
— Unwanted and malicious messages dominate Email traffic and pose a great threat to the utility of email communications. Reputation systems have been getting momentum as the sol...
136
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper investigates the behavior of a Wireless Mesh Network in which the nodes are equipped with a multiple antenna system. The objective of this study is the comparison of...
166
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
165
click to vote
CSL
2009
Springer
16 years 26 days ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
180
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...