1988 search results - page 330 / 398 » Engineering formal metatheory |
184
click to vote
VLDB
2007
ACM
16 years 13 days 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 ...
154
click to vote
IEEESCC
2006
IEEE
16 years 11 days ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
168
click to vote
WSE
2006
IEEE
16 years 10 days ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
181
click to vote
PLDI
2006
ACM
16 years 9 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
151
click to vote
PPOPP
2006
ACM
16 years 9 days 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 ...