Sciweavers

3557 search results - page 400 / 712
» Reviews
Sort
View
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
SIMULATION
1998
83views more  SIMULATION 1998»
15 years 6 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
173
Voted
SAC
2002
ACM
15 years 6 months ago
Contradictions and critical issues during system evolution
In this paper the issue of system evolution is addressed. Activity Theory and the concept of exapansive cycles are reviewed as theories to explain systemic evolution. Contradictio...
Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasqu...
SAJ
2002
97views more  SAJ 2002»
15 years 6 months ago
PrivGuard : a model to protect private information based on its usage
No reliable method currently exists to safeguard the privacy of private information. Privacy policies are insufficient as compliance can not be enforced automatically. In this pap...
Frans A. Lategan, Martin S. Olivier
TEC
1998
99views more  TEC 1998»
15 years 6 months ago
Fitness sharing and niching methods revisited
Abstract—Interest in multimodal optimization function is expanding rapidly since real-world optimization problems often require the location of multiple optima in the search spac...
Bruno Sareni, Laurent Krähenbühl