882 search results - page 34 / 177 » Allowing State Changes in Specifications |
170
click to vote
MFCS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
154
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Availability in Process Support Systems (PSS) can be achieved by using standby mechanisms that allow a backup server to take over in case a primary server fails. These mechanisms,...
140
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
151
click to vote
ICSOC
2009
Springer
16 years 21 days 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...
168
click to vote
NAR
2010
15 years 27 days ago
2010
ALTER is an open web-based tool to transform between different multiple sequence alignment formats. The originality of ALTER lies in the fact that it focuses on the specifications...