4241 search results - page 297 / 849 » A Knowledge-Based Software Information System |
199
click to vote
SCAM
2003
IEEE
16 years 16 days ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
150
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
212
click to vote
IUI
2005
ACM
16 years 25 days ago
2005
ACM
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...
217
click to vote
EDBTW
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
206
click to vote
MICRO
2003
IEEE
16 years 16 days ago
2003
IEEE
Traditional software controlled data cache prefetching is often ineffective due to the lack of runtime cache miss and miss address information. To overcome this limitation, we imp...