4674 search results - page 234 / 935 » cases 2008 |
178
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
176
click to vote
TEC
2002
15 years 6 months ago
2002
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
168
click to vote
QEST
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
177
click to vote
PSYCHNOLOGY
2008
15 years 6 months ago
2008
This paper describes a design framework for representing social-spatial data on maps and diagrams and then illustrates the design approaches for representing social data in two ap...
157
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Electronic service bundles such as Internet access and Voice over IP become increasingly important for the economy. The requirements engineering problem is how to compose an e-ser...