4924 search results - page 302 / 985 » A Software System for Spatial Data Analysis and Modeling |
174
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
152
click to vote
ICDE
2007
IEEE
16 years 16 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
186
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
169
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...