3844 search results - page 123 / 769 » Modular interpreted systems |
115
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
144
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
113
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
126
click to vote
SIGSOFT
1993
ACM
15 years 7 months ago
1993
ACM
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
118
click to vote
TSE
1998
15 years 2 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...