Result 1 to 20 of 103 total
Translation of state machines from equational theories into rewrite theories with tool support (English)
IEICE Transactions 94-D, No. 5, 976-988 (2011).
1
Interface design of a central monitoring device taking cognitive aging into account (English)
SMC, 2455-2460 (2011).
2
A 4Mb conductive-bridge resistive memory with 2.3GB/s Read-throughput and 216MB/s program-throughput (English)
ISSCC, 210-211 (2011).
3
Specification translation of state machines from equational theories into rewrite theories. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 678-693 (2010).
4
A combination of forward and backward reachability analysis methods. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 501-517 (2010).
5
Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 75-89 (2010).
6
Proof score approach to analysis of electronic commerce protocols. (English)
Int. J. Softw. Eng. Knowl. Eng. 20, No. 2, 253-287 (2010).
7
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. (English)
J. Symb. Comput. 45, No. 5, 551-573 (2010).
8
Towards reliable E-government systems with the OTS/cafeobj method (English)
IEICE Transactions 93-D, No. 5, 974-984 (2010).
9
On the estimation of rough surface parameters from surface profile data — correlation length estimate using a surface slope function — (English)
IEICE Transactions 93-C, No. 1, 89-93 (2010).
10
Specification translation of state machines from equational theories into rewrite theories (English)
ICFEM, 678-693 (2010).
11
A combination of forward and backward reachability analysis methods (English)
ICFEM, 501-517 (2010).
12
Efficient runtime tracking of allocation sites in Java (English)
VEE, 109-120 (2010).
13
A study of Java’s non-Java memory (English)
OOPSLA, 191-204 (2010).
14
Formal modeling and verification of sensor network encryption protocol in the OTS/cafeobj method (English)
ISoLA (1), 75-89 (2010).
15
Constructor-based institutions. (English)
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 398-412 (2009).
16
User-defined on-demand matching (English)
IEICE Transactions 92-D, No. 7, 1401-1411 (2009).
17
Analysis of speaker adaptation algorithms for HMM-based speech synthesis and a constrained SMAPLR adaptation algorithm (English)
IEEE Transactions on Audio, Speech & Language Processing 17, No. 1, 66-83 (2009).
18
Analyzing the "knack" of human piggyback motion based on simultaneous measurement of tactile and movement data as a basis for humanoid control (English)
IROS, 2531-2536 (2009).
19
Modular implementation of a translator from behavioral specifications to rewrite theory specifications (English)
QSIC, 406-411 (2009).
20
Result 1 to 20 of 103 total
Start
Contact
Print
General Help
