1442 search results - page 198 / 289 » Finding interesting things |
179
click to vote
ENTCS
2002
15 years 6 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
158
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Over the last 20 years there has been increasing interest in work-based learning in the UK business sector as a means to improve and increase the skills of the UK workforce. The m...
157
click to vote
IWC
2000
15 years 6 months ago
2000
Object alignment is one of the basic operations in drawing programs. Current solutions provide mainly three ways for carrying out this operation: either by issuing an alignment co...
152
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Abstract. A mathematical model of microbial competition for limiting nutrient and wallattachment sites in a chemostat, formulated by Freter et al. in their study of the colonizatio...
179
click to vote
JACM
2002
15 years 6 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...