14298 search results - page 272 / 2860 » Dynamic Languages and Applications |
144
Voted
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
183
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
189
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, we propose a new Bayesian model for fully unsupervised word segmentation and an efficient blocked Gibbs sampler combined with dynamic programming for inference. Our...
146
click to vote
MSE
2003
IEEE
15 years 12 months ago
2003
IEEE
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...
157
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...