234 search results - page 7 / 47 » A data-oriented transaction execution engine and supporting ... |
IUI
2009
ACM
15 years 6 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
ENTCS
2010
14 years 7 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
103
click to vote
JOT
2007
14 years 9 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...