Results 1 - 10 of 3,043

Reconciling System Requirements and Runtime Behavior

by M. S. Feather, S. Fickas, A. Van Lamsweerde, C. Ponsard , 1998
"... Abstract. This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evolving conditions in this environment. We discuss an architecture ..."
Abstract - Cited by 86 (7 self) - Add to MetaCart
Abstract. This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evolving conditions in this environment. We discuss

Runtime Behavior of Conversion Interpretation of Subtyping

by Yasuhiko Minamide
"... A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the extensional correctness of the translation. We study runtime behavior of translated programs and show that this transla ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the extensional correctness of the translation. We study runtime behavior of translated programs and show

Visualizing the Runtime Behavior of Embedded Network Systems

by Andrew R. Dalton A, Sally K. Wahba B, Sravanthi D, Amudi B, Jason O. Hallstrom B
"... TinyOS has proven to be an effective platform for developing lightweight embed-ded network applications. But the platform’s lean programming model and power-efficient operation come at a price: TinyOS applications are notoriously difficult to construct, debug, and maintain. The development difficult ..."
Abstract - Add to MetaCart
is to assist developers in reasoning about the computation forest underlying a system under test and the particular branches chosen during each run. The toolkit supports comprehension activities involving both local and distributed runtime behavior. The constituent components include (i) a full-featured static

Modeling runtime behavior in framework-based applications

by Nick Mitchell, Gary Sevitsky, Harini Srinivasan - In ECOOP , 2006
"... Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is increasingly difficult to assess if and how inefficiencies can be fixed. Much of this activity involves the transformat ..."
Abstract - Cited by 20 (3 self) - Add to MetaCart
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is increasingly difficult to assess if and how inefficiencies can be fixed. Much of this activity involves

Towards runtime behavior adaptation for embodied characters

by Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram , 2007
"... Typically, autonomous believable agents are implemented using static, hand-authored reactive behaviors or scripts. This hand-authoring allows designers to craft expressive behavior for characters, but can lead to excessive authorial burden, as well as result in characters that are brittle to changin ..."
Abstract - Cited by 4 (4 self) - Add to MetaCart
to changing world dynamics. In this paper, we present an approach for the runtime adaptation of reactive behaviors for autonomous believable characters. Extending transformational planning, our system allows autonomous characters to monitor and reason about their behavior execution and to use this reasoning

3 Reconciling System Requirements and Runtime Behavior M.S. Feather1,

by S. Fickas, A. Van Lamsweerde, C. Ponsard
"... This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evolving conditions in this environment. We discuss an architecture and a dev ..."
Abstract - Add to MetaCart
This paper considers the problem of runtime system deviations from requirements specifications. Such deviations may arise from lack of anticipation of possible behaviors of environment agents at specification time, or from evolving conditions in this environment. We discuss an architecture and a

An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs

by Spiro Michaylov, Frank Pfenning - University of Pennsylvania. Available as , 1992
"... this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Government. ..."
Abstract - Cited by 29 (6 self) - Add to MetaCart
this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the U.S. Government.

Runtime Behavior Monitoring and Self-Adaptation in Service-Oriented Systems

by Harald Psaier, Lukasz Juszczyk, Florian Skopik, Daniel Schall, Schahram Dustdar
"... Abstract—Mixed service-oriented systems composed of human actors and software services build up complex interaction networks. Without any coordination, such system may exhibit undesirable properties due to unexpected behavior. Also, communications and interactions in such networks are not preplanned ..."
Abstract - Cited by 13 (7 self) - Add to MetaCart
Abstract—Mixed service-oriented systems composed of human actors and software services build up complex interaction networks. Without any coordination, such system may exhibit undesirable properties due to unexpected behavior. Also, communications and interactions in such networks

Adaptive dsm-runtime behavior via speculative data distribution

by Frank Mueller - In Parallel and Distributed Processing. Proc. 3rd Workshop on Runtime Systems for Parallel Programming (RTSPP '99), volume 1586 of Lect. Notes Comp. Science , 1999
"... Abstract. Traditional distributed shared memory systems (DSM) suffer from the overhead of communication latencies and data fault handling. This work explores the benefits of reducing these overheads and evaluating the savings. Data fault handling can be reduced by employing a lock-oriented consisten ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
to anticipate future data requests. DSM-Threads implement an adaptive runtime history that speculatively distributes data based on access histories. These histories are kept locally on a node and are distinguished by each thread on a node. When regular access patterns on requests are recognized, the data

A.: Runtime behavior adaptation for real time interactive games

by Manish Mehta, Ashwin Ram - IEEE Transactions On Computational Intelligence And AI In Games
"... Abstract—Intelligent agents working in real-time domains need to adapt to changing circumstance so that they can improve their performance and avoid their mistakes. AI agents designed for interactive games, however, typically lack this ability. Game agents are traditionally implemented using static, ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
-time domains. The agents carry out runtime adaptation of their behavior sets by monitoring and reasoning about their behavior execution to dynamically carry out revisions on the behaviors. The behavior adaptation approaches has been instantiated in two real-time interactive game domains. The evaluation results
Results 1 - 10 of 3,043