Searching for authors named "Akio Nakata" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Deriving Parameter Conditions For Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas
by Akio Nakata, Teruo Higashino — 2001 — Proc. of 21st IFIP Int’l .Conf. on Formal Techniques for Networked and Distributed Systems (FORTE2001
… FORMULAS # Akio Nakata and Teruo Higashino Dept. of Informatics and Mathematical Science…
Cited by 3 (3 self) – Add To MetaCart

Protocol Synthesis from Timed and Structured Specifications
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1995 — Proc. of 1995 Int. Conf. on Network Protocols (ICNP'95
…Protocol Synthesis from Timed and Structured Specifications Akio Nakata Teruo Higashino Kenichi…
Cited by 7 (3 self) – Add To MetaCart

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1996 — in Proc. of Joint Int'l Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96
… Equivalence Akio Nakata, Teruo Higashino, and Kenichi Taniguchi Department of Information and Computer…
Cited by 3 (3 self) – Add To MetaCart

Higashino: Double Depth First Search Based Parametric Analysis for Parametric Time–Interval Automata
by Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino — 1998 — IEICE Transaction on Fundamentals
… ∗ Tadaaki Tanimoto Akio Nakata Hideaki Hashimoto Teruo Higashino Graduate School of Information Science…
Cited by 2 (0 self) – Add To MetaCart

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1993
… Akio Nakata, Teruo Higashino and Kenichi Taniguchi Department of Information and Computer Science…
Cited by 2 (2 self) – Add To MetaCart

Protocol Animation based on Event-Driven Visualization Scenarios in Real-time LOTOS
by Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino — 2002 — in real-time LOTOS, Computer Networks
… Yasumoto , Takaaki Umedu ¡ , Hirozumi Yamaguchi ¡ , Akio Nakata ¡ and Teruo Higashino ¡ ¢ Graduate School…
Cited by 1 (1 self) – Add To MetaCart

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels
by Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 2002 — of Multi-way Synchronization Channels , Proc. of Int’l. Symp. of Formal Methods Europe (FME2002), LNCS2391
…-way Synchronization Channels Takaaki Umedu , Yoshiki Terashima , Keiichi Yasumoto ¡ , Akio Nakata , Teruo…
Cited by 2 (2 self) – Add To MetaCart

Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries
by Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Keiichi Yasumoto It, Akio Nakata, Teruo Higashino
… Detection Using Symmetries Takaaki Umedu t, Hirozumi Yamaguchi t, Keiichi Yasumoto it, Akio Nakata…
Add To MetaCart

Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks
by Takaaki Umedu Keiichi, Keiichi Yasumoto, Akio Nakata, Hirozumi Yamaguchi, Teruo Higashino — 2002
… † , Keiichi Yasumoto †† , Akio Nakata † , Hirozumi Yamaguchi † and Teruo Higashino † † Graduate School…
Add To MetaCart

A Global Timed Bisimulation Preserving Abstraction
by For Parametric Time-Interval, Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino — 2004
…A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio…
Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB