4418 search results - page 377 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
205
click to vote
SAC
2009
ACM
16 years 1 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 ...
153
click to vote
USS
2008
15 years 9 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
187
Voted
CW
2005
IEEE
16 years 12 days ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
170
click to vote
CCE
2004
15 years 6 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
181
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...