2880 search results - page 481 / 576 » context 2007 |
112
click to vote
EJIS
2007
15 years 17 days ago
2007
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
104
Voted
ENTCS
2007
15 years 17 days ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
102
click to vote
ENTCS
2007
15 years 17 days ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
114
click to vote
ENTCS
2007
15 years 17 days ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
124
click to vote
ENTCS
2007
15 years 17 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...