12981 search results - page 2086 / 2597 » Model Checking (Abstract) |
201
click to vote
FORTE
2003
15 years 8 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
188
click to vote
IADIS
2003
15 years 8 months ago
2003
Power transformers' failures carry great costs to electric companies since they need resources to recover from them and to perform periodical maintenance. To avoid this probl...
174
click to vote
VIIP
2001
15 years 8 months ago
2001
Abstract. Our research team is developing a computer construction game called VirtualPrismaker based on the physical game Prismakertm . We have had to deal with all typical and ess...
195
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract-The information era has brought with it the wellknown problem of 'Information Explosion'. There are many and varied search engines on the Internet but it is stil...
208
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract- This paper deals with "Knowledge Management Systems" (KMS) which are seen as a new kind of information systems supporting organizational information processing....