100 search results - page 16 / 20 » Compositional Type Systems for Stack-Based Low-Level Languag... |
ICALP
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
FORTE
2003
13 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
ISARCS
2010
13 years 9 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The existing Web service management solutions are almost exclusively focused on optimization of technical QoS metrics (e.g., availability). However, financial (e.g., prof...