Results 11 - 20 of 2,975

Specification of Graph Translators with Triple Graph Grammars

by Andy Schürr - in Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG `94), Herrsching (D , 1995
"... . Data integration is a key issue for any integrated set of software tools where each tool has its own data structures (at least on the conceptual level), but where we have many interdependencies between these private data structures. A typical CASE environment, for instance, offers tools for the ma ..."
Abstract - Cited by 232 (9 self) - Add to MetaCart
frameworks and the absence of adequate specification formalisms. Triple graph grammars, a proper superset of pair grammars, are intended to fill this gap and to support the specification of interdependencies between graph-like data structures on a very high level. Furthermore, they form a solid fundament

Motion synthesis from annotations

by Okan Arikan, David A. Forsyth, James F. O’brien - ACM Transactions on Graphics , 2003
"... This paper describes a framework that allows a user to synthesize human motion while retaining control of its qualitative properties. The user paints a timeline with annotations — likewalk, run or jump — from a vocabulary which is freely chosen by the user. The system then assembles frames from a mo ..."
Abstract - Cited by 209 (7 self) - Add to MetaCart
This paper describes a framework that allows a user to synthesize human motion while retaining control of its qualitative properties. The user paints a timeline with annotations — likewalk, run or jump — from a vocabulary which is freely chosen by the user. The system then assembles frames from a

MOP: An Efficient and Generic Runtime Verification Framework

by Feng Chen, Grigore Rosu , 2007
"... Monitoring-Oriented Programming (MOP) [19, 16, 20, 17] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework au ..."
Abstract - Cited by 120 (14 self) - Add to MetaCart
Monitoring-Oriented Programming (MOP) [19, 16, 20, 17] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework

Towards an Agent-Oriented Framework for Specification of Information Systems

by Stefan Conrad, Gunter Saake, Can Türker - 24 - Zhu, Formal Specification Language SLABS 1 , 1997
"... Objects in information systems usually have a very long life-span. Therefore, it often happens that during the life of an object external requirements are changing, e.g. changes of laws. Such changes often require the object to adopt another behavior. In consequence, it is necessary to get a gras ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
such situations. The approach we present and discuss in this paper is an important step towards a specification framework based on the concept of agents by introducing a certain form of knowledge as part of the internal state of objects. Especially, we concentrate on the specification of evolving temporal

A Development Framework for Object-Oriented Specification and Refinement

by Graeme Smith , 1995
"... This paper presents a language-independent framework for developing formal specifications in an intuitively object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The operators, by effectively hiding the t ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
This paper presents a language-independent framework for developing formal specifications in an intuitively object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The operators, by effectively hiding

Framework for

by Oliver Brock, Oussama Khatib
"... Robotic applications are expanding into dynamic, unstructured, and populated environments. Mechanisms specifically designed to address the challenges arising in these environments, such as humanoid robots, exhibit high kinematic complexity. This creates the need for new algorithmic approaches to mot ..."
Abstract - Add to MetaCart
manipulator and a 34-degreeof-freedom humanoid robot are presented, proving the elastic strip framework to be a powerful and versatile task-oriented approach to real-time motion generation and motion execution for robots with a large number of degrees of freedom in dynamic environments.

Specification and Verification of Object-Oriented Programs

by Arndt Poetzsch-Heffter , 1997
"... Interface specifications should express program properties in a formal, declarative, and implementation-independent way. To achieve implementation-independency, interface specifications have to support data abstraction. Program verification should enable to prove implementations correct w.r.t. suc ..."
Abstract - Cited by 37 (5 self) - Add to MetaCart
.r.t. such interface specifications. The presented work bridges the gap between existing specification and verification techniques for object-oriented programs. The integration is done within a formal framework for interface specifications and programming language semantics. Interface specification techniques

ET++ - an object-oriented application framework in C

by Andre Weinand, Erich Gamma, Rudolf Marty - Proceedings of Object-oriented Programming Systems, Languages and Applications (OOPSLA , 1988
"... ET++ is an object-oriented application framework implemented in C++ for a UNIX? environment and a conventional window system. The architecture of ET++ is based on MacApp and integrates a rich collection of user interface building blocks as well as basic data strut tures to form a homogeneous and ext ..."
Abstract - Cited by 100 (2 self) - Add to MetaCart
ET++ is an object-oriented application framework implemented in C++ for a UNIX? environment and a conventional window system. The architecture of ET++ is based on MacApp and integrates a rich collection of user interface building blocks as well as basic data strut tures to form a homogeneous

Transactions in Object-Oriented Specifications

by G. Denker - Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers , 1995
"... The formal step by step development of implementations from specifications is necessary to allow the incremental description of large software systems and hence split the software development process in manageable portions. Due to the complex notion of objects as units of structure and behavior, ..."
Abstract - Cited by 9 (5 self) - Add to MetaCart
, the refinement process has to be reconsidered in the object-oriented framework. Apart from refining structure the behavioral part gives rise to refine actions by transactions. Referring to information systems as application domain, concurrency control aspects come into play because of shared resources. We

A critical role for the right fronto-insular cortex in switching between central-executive and default-mode networks.

by Devarajan Sridharan , † ‡ , Daniel J Levitin , Vinod Menon - Proc Natl Acad Sci USA , 2008
"... Cognitively demanding tasks that evoke activation in the brain's central-executive network (CEN) have been consistently shown to evoke decreased activation (deactivation) in the default-mode network (DMN). The neural mechanisms underlying this switch between activation and deactivation of larg ..."
Abstract - Cited by 178 (1 self) - Add to MetaCart
responses during the occurrence of ''movement transitions:'' salient, orienting events arising from transitions between adjacent ''movements'' in the music (19). To specifically elucidate the role of the FIC in driving network changes, we used chronometry and Granger
Results 11 - 20 of 2,975