3388 search results - page 127 / 678 » Type-theoretic design patterns |
134
Voted
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
137
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
126
click to vote
CASCON
2006
15 years 6 months ago
2006
This research studies the characteristics of field usage patterns in the SpecJVM98 benchmarks. It finds that multiple object instances of the same class often exhibit different fi...
131
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
119
click to vote
EWSPT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Patterns are now widely used for describing software designs. However, they may also be used to describe process structure rather than the product structure. This may be ...