|
| Keyword : temporal logic
| |
|
A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations
Yoshisato SAKAI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/04/01
Vol. E90-A
No. 4 ;
pp. 836-846
Type of Manuscript:
Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
Category:
Keyword:
temporal logic, tableau, control synthesis, simulation relation, | | | Summary | Full Text:PDF | |
| |
|
New Generation Database Technologies for Collaborative Work Support and Spatio-Temporal Data Management
Yoshifumi MASUNAGA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/01/25
Vol. E82-D
No. 1 ;
pp. 45-53
Type of Manuscript:
REVIEW PAPER
Category:
Keyword:
new generation database, collaborative work support, CSCW, virtual reality, spatio-temporal database, GIS, spatio-temporal index, temporal logic, view, multimedia database, VRML, WWW, internet, object-oriented database, | | | Summary | Full Text:PDF | |
| |
|
A Statically Typed, Temporal Object-Oriented Database Technology
Suad ALAGI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/11/25
Vol. E78-D
No. 11 ;
pp. 1469-1476
Type of Manuscript:
Special Section PAPER (Special Issue on Advanced Database Technologies)
Category: Model
Keyword:
object-oriented, type technology, temporal logic, reflection, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
|
|
