Sciweavers

345 search results - page 46 / 69
» A process logic for distributed system synthesis
Sort
View
AMKM
2003
Springer
15 years 5 months ago
Agent-Mediated Knowledge Engineering Collaboration
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
Adam Pease, John Li
FMSD
2006
119views more  FMSD 2006»
14 years 11 months ago
Feature interaction detection by pairwise analysis of LTL properties - A case study
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
Muffy Calder, Alice Miller
CHI
2011
ACM
14 years 3 months ago
CommentSpace: structured support for collaborative visual analysis
Collaborative visual analysis tools can enhance sensemaking by facilitating social interpretation and parallelization of effort. These systems enable distributed exploration and e...
Wesley Willett, Jeffrey Heer, Joseph M. Hellerstei...
DAC
2006
ACM
16 years 22 days ago
An efficient and versatile scheduling algorithm based on SDC formulation
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
Jason Cong, Zhiru Zhang
ICDE
2009
IEEE
195views Database» more  ICDE 2009»
15 years 6 months ago
The PRISM Workwench: Database Schema Evolution without Tears
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
Carlo Curino, Hyun J. Moon, MyungWon Ham, Carlo Za...