Sciweavers

1675 search results - page 160 / 335
» Compositional Model-Based Design
Sort
View
JSS
2010
215views more  JSS 2010»
13 years 7 months ago
Analyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
Jung Soo Kim, David Garlan
VMCAI
2009
Springer
14 years 3 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman
IEEESCC
2005
IEEE
14 years 2 months ago
AWS-Net Traveler: Autonomic Web Services Framework for Autonomic Business Processes
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
Hillary Caituiro-Monge, Manuel Rodriguez-Martinez
WCE
2007
13 years 10 months ago
Modeling and Analysis of an Elastic Compound Strut in Axial Compression
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
Joshua R. Omer
ENTCS
2008
153views more  ENTCS 2008»
13 years 9 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe