9444 search results - page 1537 / 1889 » The Language Model LMNtal |
234
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
178
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
186
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
194
click to vote
DSRT
1999
IEEE
15 years 11 months ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
184
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...