6581 search results - page 233 / 1317 » Formalizing Design Patterns |
152
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
145
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
118
click to vote
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
115
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
121
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Fluctuations in network conditions are a common phenomenon. They arise in the current wired Internet due to changes in demand, and in wireless networks due to changing ...