1,104 full-text articles. Page 5 of 43.
REST is a common architecture for networked applications. Applications that adhere to the REST constraints enjoy significant scaling advantages over other architectures. But REST is not a panacea for the task of building correct software. Algebraic models of computation, particularly CSP, prove useful to describe the composition of applications using REST. CSP enables us to describe and verify the behavior of RESTful systems. The descriptions of each component can be used independently to verify that a system behaves as expected. This thesis demonstrates and develops CSP methodology to verify the behavior of RESTful applications.
A finite Blaschke product is a product of finitely many automorphisms of the unit disk. This brief survey covers some of the main topics in the area, including characterizations of Blaschke products, approximation theorems, derivatives and residues of Blaschke products, geometric localization of zeros, and selected other topics.
We begin by a brief overview of the notion of groups and Lie groups. We then explain what group representations are and give their main properties. Finally, we show how group representation form a natural framework to understand the Standard Model of physics.