9110 search results - page 117 / 1822 » Formally-Based Design Evaluation |
IVS
2007
14 years 9 months ago
2007
This paper presents a design framework for geographic visualization based on iterative evaluations of a toolkit designed to support cancer epidemiology. The Exploratory Spatio-Tem...
AAAI
2007
15 years 8 days ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...
ICEBE
2007
IEEE
15 years 4 months ago
2007
IEEE
In both E-Commerce (EC) and Service-Oriented Computing (SOC) environments, sellers or service providers interact with customers or service clients for services or transactions. Fr...
DPPI
2007
ACM
15 years 1 months ago
2007
ACM
The article presents the design and evaluation phase
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...