3750 search results - page 104 / 750 » Timed Automata Patterns |
IJFCS
2006
14 years 10 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
JIDM
2010
14 years 8 months ago
2010
One of the most important challenges for the researchers in the 21st Century is related to global heating and climate change that can have as consequence the intensiļ¬cation of na...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Real-time frequent pattern mining for business intelligence systems are currently in the focal area of research. In a number of areas of doing business, especially in the arena of...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
We describe Social Net, a novel interest-matching application that uses patterns of collocation, over time, to infer shared interests between users. Social Net demonstrates new po...
MM
2000
ACM
15 years 2 months ago
2000
ACM
Zyklodeon is a highly visual, highly interactive software construction kit. Players create cartoon-like dancers and endow them with properties that influence emergence of cyclic t...