3765 search results - page 560 / 753 » Formal Methods for Systems Engineering Behavior Models |
150
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
203
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
124
click to vote
COMPSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
191
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
203
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...