7918 search results - page 189 / 1584 » Model Composition Directives |
ICSOC
2009
Springer
15 years 9 months ago
2009
Springer
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
123
click to vote
COLCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
125
click to vote
IICS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
116
click to vote
CSB
2003
IEEE
15 years 8 months ago
2003
IEEE
A new and essentially simple method to reconstruct prokaryotic phylogenetic trees from their complete genome data without using sequence alignment is proposed. It is based on the ...
115
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...