2232 search results - page 307 / 447 » Formal Modeling and Analysis of Organizations |
158
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
162
click to vote
IVS
2007
15 years 6 months ago
2007
We revisit the design space of visualizations aiming at identifying and relating its components. In this sense, we establish a model to examine the process through which visualiza...
158
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
170
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
144
click to vote
WIKIS
2006
ACM
16 years 10 days ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...