352 search results - page 58 / 71 » Extended Timed Automata and Time Petri Nets |
107
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
118
click to vote
TCAD
1998
15 years 1 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
86
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
119
click to vote
JUCS
2002
15 years 1 months ago
2002
: WordNet (WN) is a lexical knowledge base, first developed for English and then adopted for several Western European languages, which was created as a machinereadable dictionary b...
126
click to vote
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...