17049 search results - page 388 / 3410 » cans 2007 |
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
192
click to vote
FUIN
2007
15 years 6 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
203
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
160
click to vote
IJKL
2007
15 years 6 months ago
2007
: Knowledge assets represent a special set of resources for a firm and as such, their management is of great importance to academics and managers. The purpose of this paper is to r...