10707 search results - page 414 / 2142 » Designing executable abstractions |
161
click to vote
SIGSAND
2008
15 years 6 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
200
click to vote
WCE
2008
15 years 6 months ago
2008
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...
148
click to vote
WAE
2001
15 years 6 months ago
2001
Abstract. A new realization of a space-efficient deque is presented. The data structure is constructed from three singly resizable arrays, each of which is a blockwiseallocated pil...
127
click to vote
FORTE
1998
15 years 6 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
125
Voted
AIEDAM
2008
15 years 5 months ago
2008
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...