5904 search results - page 225 / 1181 » Requirements for a Composition Language |
116
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...
134
Voted
ACSD
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
123
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
156
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Shrinkage-based exponential language models, such as the recently introduced Model M, have provided significant gains over a range of tasks [1]. Training such models requires a l...
126
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...