Sciweavers

810 search results - page 75 / 162
» A Tool for Enterprise Architecture Analysis
Sort
View
EDBT
2010
ACM
185views Database» more  EDBT 2010»
14 years 11 months ago
BP-Ex: a uniform query engine for business process execution traces
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
Eran Balan, Tova Milo, Tal Sterenzy
IRI
2007
IEEE
15 years 4 months ago
SRG: A Digital Document-Enhanced Service Oriented Research Grid
We describe a new framework for building a system that consists of tools and services for supporting Cyberinfrastructure based scientific research. This system, called the Semanti...
Geoffrey Fox, Ahmet Fatih Mustacoglu, Ahmet E. Top...
JCDL
2006
ACM
75views Education» more  JCDL 2006»
15 years 3 months ago
Quantifying the accuracy of relational statements in Wikipedia: a methodology
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
Gabriel Weaver, Barbara Strickland, Gregory Crane
STTT
2010
115views more  STTT 2010»
14 years 8 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ICSE
2008
IEEE-ACM
15 years 10 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...