1606 search results - page 218 / 322 » Methodological Approach for Developing a KMS: A Case Study |
173
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
140
click to vote
CRIWG
2006
15 years 7 months ago
2006
The paper describes a further development of the design of a motivational visualization encouraging participation in an online community. The new design overcomes shortcomings in p...
168
click to vote
CCE
2004
15 years 6 months ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...
143
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This work deals with an original problem with regard to the traditionally sequential planning process in public transit networks. This problem aims at modifying the network's ...
159
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...