Sciweavers

2635 search results - page 356 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
RE
2002
Springer
15 years 2 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
SAC
2002
ACM
15 years 2 months ago
Short inversions and conserved gene clusters
Two independent sets of recent observations on newly sequenced microbial genomes pertain to the prevalence of short inversion as a gene order rearrangement process and to the lack...
David Sankoff
ICWS
2010
IEEE
15 years 1 months ago
Towards Improved Data Dissemination of Publish-Subscribe Systems
—with the proliferation of internet technologies, publish/subscribe systems have gained wide usage as a middleware. However for this model, catering large number of publishers an...
Ramith Jayasinghe, Dinesh Gamage, Srinath Perera
PVLDB
2010
86views more  PVLDB 2010»
15 years 1 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...
WAIM
2010
Springer
15 years 1 months ago
HyperGraphDB: A Generalized Graph Database
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
Borislav Iordanov