Sciweavers

10666 search results - page 1717 / 2134
» Quantum programming languages
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 23 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
IEEESCC
2006
IEEE
16 years 23 days ago
Applying Distributed Business Rules - The VIDRE Approach
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
Florian Rosenberg, Christoph Nagl, Schahram Dustda...
VL
2006
IEEE
100views Visual Languages» more  VL 2006»
16 years 22 days ago
Mica: A Web-Search Tool for Finding API Components and Examples
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
Jeffrey Stylos, Brad A. Myers
VL
2006
IEEE
16 years 22 days ago
Gender Differences in End-User Debugging, Revisited: What the Miners Found
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
Valentina Grigoreanu, Laura Beckwith, Xiaoli Z. Fe...
CASES
2006
ACM
16 years 21 days ago
A dynamic binary instrumentation engine for the ARM architecture
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
Kim M. Hazelwood, Artur Klauser
« Prev « First page 1717 / 2134 Last » Next »