Sciweavers

244 search results - page 23 / 49
» Modeling Instrumental Conditioning - The Behavioral Regulati...
Sort
View
KBSE
1997
IEEE
15 years 2 months ago
A Formal Automated Approach for Reverse Engineering Programs with Pointers
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
Gerald C. Gannod, Betty H. C. Cheng
ICST
2008
IEEE
15 years 4 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
ECAL
2003
Springer
15 years 3 months ago
Multi-agent Model of Biological Swarming
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
Robert Mach, Frank Schweitzer
FGCS
2006
113views more  FGCS 2006»
14 years 9 months ago
Performance feature identification by comparative trace analysis
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...
Daniel P. Spooner, Darren J. Kerbyson
BPM
2011
Springer
295views Business» more  BPM 2011»
13 years 9 months ago
Compliance by Design for Artifact-Centric Business Processes
Compliance to legal regulations, internal policies, or best practices is becoming a more and more important aspect in business processes management. Compliance requirements are usu...
Niels Lohmann