Sciweavers

1404 search results - page 186 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
SERP
2003
15 years 7 months ago
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...
173
Voted
AAAI
1990
15 years 7 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
CCR
2004
151views more  CCR 2004»
15 years 5 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
BC
1998
84views more  BC 1998»
15 years 5 months ago
Stimulus-induced bifurcations in discrete-time neural oscillators
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
Ali A. Minai, Tirunelveli Anand
DKE
2011
251views Education» more  DKE 2011»
15 years 1 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...