3765 search results - page 99 / 753 » Formal Methods for Systems Engineering Behavior Models |
106
click to vote
CISIS
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
146
Voted
AOSE
2000
Springer
15 years 6 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
111
Voted
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
132
click to vote
APIN
2006
15 years 2 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
108
click to vote
FUIN
2010
15 years 1 months ago
2010
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...