Search Sciweavers | Sciweavers

1782 search results - page 6 / 357

» Tool Support for Proof Engineering

click to vote

HICSS
2006
IEEE

112views Biometrics» more HICSS 2006»

Tool Support for the Collaborative Design of Reference Models - A Business Engineering Perspective

14 years 2 months ago

Download www.bpm-agu.com

The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...

Oliver Thomas, August-Wilhelm Scheer

claim paper

Read More »

click to vote

SIGMOD
2011
ACM

218views Database» more SIGMOD 2011»

A data-oriented transaction execution engine and supporting tools

12 years 11 months ago

Download infoscience.epfl.ch

Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...

Ippokratis Pandis, Pinar Tözün, Miguel B...

claim paper

Read More »

click to vote

CERA
2005

77views more CERA 2005»

On Validating Engineering Design Decision Support Tools

13 years 8 months ago

Download does.eng.buffalo.edu

: In this article, an argument for validation of design

Andrew T. Olewnik, Kemper Lewis

claim paper