7557 search results - page 601 / 1512 » Modeling Timed Concurrent Systems |
184
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
195
click to vote
LREC
2010
15 years 8 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
228
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
215
click to vote
MEMOCODE
2003
IEEE
16 years 11 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
163
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...