Sciweavers

1750 search results - page 34 / 350
» E-Commerce Development Procedure
Sort
View
131
Voted
HOPL
2007
15 years 6 months ago
The development of the Emerald programming language
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
Andrew P. Black, Norman C. Hutchinson, Eric Jul, H...
JIKM
2008
168views more  JIKM 2008»
15 years 2 months ago
A Framework for Developing and Aligning a Knowledge Management Strategy
Businesses today, including non-profits, recognise the need for knowledge management (KM). KM may require new strategies and goals before it can be implemented, or it can be aligne...
Deborah E. Swain, Jean-Pierre Booto Ekionea
117
Voted
CADE
1997
Springer
15 years 6 months ago
Connection-Based Proof Construction in Linear Logic
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
Christoph Kreitz, Heiko Mantel, Jens Otten, Stepha...
SIGADA
2005
Springer
15 years 8 months ago
Optimizing the SPARK program slicer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
Ricky E. Sward, Leemon C. Baird III
DATE
2010
IEEE
129views Hardware» more  DATE 2010»
15 years 7 months ago
Block-level bayesian diagnosis of analogue electronic circuits
—Daily experience with product designers, test and diagnosis engineers it is realized that the depth of interaction among them, ought be high for sucessfull diagnosis of analogue...
Shaji Krishnan, Klaas D. Doornbos, Rudi Brand, Han...