Filters








7 Hits in 3.1 sec

Architectural styles, design patterns, and objects

R.T. Monroe, A. Kompanek, R. Melton, D. Garlan
1997 IEEE Software  
By providing a framework within which these patterns work, the designer using the pattern can leverage style's the broad descriptive and analytical capabilities along with proven mechanisms for addressing  ...  as OMT provides a framework and notation for working with objects.  ... 
doi:10.1109/52.566427 fatcat:f5fyqpqpebdzxjkc6hvcjxk25y

The impact of research on the development of middleware technology

Wolfgang Emmerich, Mikio Aoyama, Joe Sventek
2008 ACM Transactions on Software Engineering and Methodology  
We investigate the origins of Web services middleware, distributed transaction processing middleware, message-oriented middleware, distributed object middleware and remote procedure call systems.  ...  Instead we select a few very successful technologies that are representative for the middleware market as a whole and show the existence of impact of research results in the creation of these technologies  ...  This article could not have been researched without the considerable help from a large number of people.  ... 
doi:10.1145/13487689.13487692 fatcat:gxcxlbysx5cyzaeseynwkd7ecu

Analysis of Compositional Conflicts in Component-Based Systems [chapter]

Andreas Leicher, Susanne Busse, Jörn Guy Süß
2005 Lecture Notes in Computer Science  
Component Based Software Engineering is an emerging discipline that aims at improving software development by means of artifact reuse within a systematically applied construction process.  ...  Unfortunately, reuse of existing components is a complex undertaking because of different technologies, different communication forms, and incomplete component specifications.  ...  Together, we implemented the framework in a student project.  ... 
doi:10.1007/11550679_6 fatcat:nur2mc3a3jb77gcnk55bxipfby

Dynamics and pragmatics for high performance concurrency

Frederick R. M. Barnes
2003
This thesis concludes with a discussion of the work presented herein, with consideration given to parallels with object-oriented languages. Also described are deta [...]  ...  The first part of this thesis concentrates on enhancing the occam language and run-time system, on a commodity platform (IBM PC) running the freely available Linux operating system.  ...  The key feature of the extended rendevous, and its implementation for occam, is that no modification of the outputting process is required.  ... 
doi:10.22024/unikent/01.02.86048 fatcat:bmr6uvvvq5axxdggkgfffz63ti

Formal verification of programs and their transformations

Guodong Li
2012
The verification is done by providing a formal proof on an abstract mathematical model of the program, with respect to a certain formal specification or property.  ...  to ARM assembly code; the equivalence of a source specification and the generated assembly code is proven mechanically with respect to the formal semantics; (2) we model, in an "executable" declarative  ...  A BLK structure is just a list of atomic instructions.  ... 
doi:10.26053/0h-51dc-vd00 fatcat:q2lz3fom7nchbc5musgit5d6cy

Agency is molecular: moved by being moved to moving or co-constitution in intra-active knowledge production

Monika Jaeckel
2021
From a feminist position, new materialism's situatedness (Haraway) and relational objectivity (Barad) are particularly suitable tools for a shift from within.  ...  The apparatus definitions of Agential Realism gather insights through agential cuts that provide a transient exteriority-within, allowing modifying the bounds of knowing from within.  ...  The implementation of technological devices often ignores and dismisses the importance of a certain friction and resistance within the action.  ... 
doi:10.34737/vq9z9 fatcat:fsgme5a67fb7pbjqexfswgs25u

The Writings Of Thomas Forsyth On The Sauk And Fox Indians, 1812--1832

Lucy Brown
1982
in the History Departm ent a t the University of Wisconsin-Madison, for all the hours he spent proofreading with me.  ...  Also included was a description of several of the Indian tribes within the territory.  ...  whole from the general rendevous, they sing the She-go-dem or 35 general war Song as described above.  ... 
doi:10.21220/s2-fdcg-9m93 fatcat:tda2ykcirzcqbj3wjv7ojelqya