234 search results - page 25 / 47 » A data-oriented transaction execution engine and supporting ... |
72
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
FLAIRS
2004
14 years 11 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
BPM
2009
Springer
15 years 4 months ago
2009
Springer
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...