6149 search results - page 688 / 1230 » Revealing the programming process |
202
click to vote
TCS
2010
15 years 5 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
185
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
265
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
190
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
206
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
The paper considers the complex behavior of a small company in a business ecosystem, time by time leader or supplier or both in one or more supply chains, and points out the data e...