523 search results - page 42 / 105 » A Formal Account of WS-BPEL |
158
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
155
click to vote
FOSSACS
2010
Springer
16 years 28 days ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
137
click to vote
IEEEARES
2009
IEEE
16 years 28 days ago
2009
IEEE
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
164
click to vote
REFSQ
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
159
click to vote
DSRT
2008
IEEE
16 years 17 days ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...