290 search results - page 48 / 58 » The Formal Execution Semantics of SpecC |
101
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
MEMOCODE
2006
IEEE
15 years 3 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
RE
2005
Springer
15 years 2 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...