497 search results - page 58 / 100 » Compositional Matrix-Space Models of Language |
106
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
135
Voted
LICS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
117
click to vote
ENTCS
2006
15 years 2 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
122
click to vote
FORTE
2004
15 years 3 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
128
click to vote
JOT
2007
15 years 2 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...