882 search results - page 35 / 177 » Allowing State Changes in Specifications |
136
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
165
click to vote
EWSPT
2001
Springer
15 years 10 months ago
2001
Springer
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
157
click to vote
PROFES
2001
Springer
15 years 10 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
137
click to vote
DKE
2000
15 years 6 months ago
2000
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
135
click to vote
LREC
2010
15 years 7 months ago
2010
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...