Sciweavers

2786 search results - page 25 / 558
» A Practical Technique for Process Abstraction
Sort
View
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 6 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
SERP
2003
15 years 2 months ago
Process Improvement in Large-Scale Industrial Environments Based on SCM
Abstract Process improvement in a large-scale industrial environment is a challenge for numerous reasons. Besides others it is difficult to convince and motivate a critical mass of...
Tilman Seifert, Markus Pizka, Karlheinz Raith
DALT
2008
Springer
15 years 3 months ago
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
Thomas Klapiscak, Rafael H. Bordini
IIE
2008
188views more  IIE 2008»
15 years 29 days ago
Exploring Individual and Collaborative Dimensions of Knowledge Building in an Online Learning Community of Practice
Abstract. An exploratory study of students' engagement in online learning and knowledge building is presented in this paper. Learning in an online community, composed of stude...
Lina Markauskaite, Louise M. Sutherland
SIGMOD
2005
ACM
91views Database» more  SIGMOD 2005»
16 years 1 months ago
Towards a Robust Query Optimizer: A Principled and Practical Approach
Research on query optimization has focused almost exclusively on reducing query execution time, while important qualities such as consistency and predictability have largely been ...
Brian Babcock, Surajit Chaudhuri