882 search results - page 38 / 177 » Allowing State Changes in Specifications |
155
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
127
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
154
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
136
click to vote
ENTCS
2006
15 years 6 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
128
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...