Result 1 to 20 of 84 total
Modeling and validating the train fare calculation and adjustment system using VDM++. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 163-178 (2012).
1
On model checking for visibly pushdown automata. (English)
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 408-419 (2012).
2
io-port 70305259 Fujita, Kazuyuki;
Itoh, Yuichi;
Ohsaki, Hiroyuki;
Ono, Naoaki;
Kagawa, Keiichiro;
Takashima, Kazuki;
Tsugawa, Sho;
Nakajima, Kosuke;
Hayashi, Yusuke;
Kishino, Fumio
Ambient suite: enhancing communication among multiple participants (English)
Advances in Computer Entertainment Technology, 25 (2011).
3
Quasi-realtime social network construction with heterogeneous sensors in ambient environment (English)
Advances in Computer Entertainment Technology, 75 (2011).
4
Peta-flow computing: vision and challenges (English)
SAINT, 256-259 (2011).
5
Performance evaluation of epidemic broadcast with directional antennas in vehicular ad-hoc networks (English)
SAINT, 260-265 (2011).
6
Fluid-based analysis of TCP flows in a scale-free network (English)
SAINT, 37-43 (2011).
7
A network-based computational model with learning. (English)
Calude, Cristian S. (ed.) et al., Unconventional computation. 9th international conference, UC 2010, Tokyo, Japan, June 21‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13522-4/pbk). Lecture Notes in Computer Science 6079, 193 (2010).
8
Improving robustness of XCP (eXplicit control protocol) for dynamic traffic (English)
IEICE Transactions 93-B, No. 11, 3013-3022 (2010).
9
A network-based computational model with learning (English)
UC, 193 (2010).
10
io-port 70787110 Gonçalves, Paulo;
Grandchamp, Xavier;
Pelorson, Xavier;
Raffin, Bruno;
Van Hirtum, Annemie;
Vicat-Blanc, Pascale;
Baba, Ken-Ichi;
Cisonni, Julien;
Ebara, Yasuo;
Nozaki, Kazunori;
Ohsaki, Hiroyuki;
Wada, Shigeo;
Kawamura, Takuma;
Koyamada, Koji;
Sakane, Eisaku;
Sakamoto, Naohisa;
Shimojo, Shinji
Petaflow - A project towards information and communication technologies in society (English)
SAINT, 347-350 (2010).
11
Robust estimation of message importance using inferred inter-recipient trust for supporting email triage (English)
SAINT, 177-180 (2010).
12
Performance evaluation of block device layer with automatic parallelism tuning using heterogeneous IP-SAN protocols (English)
SAINT, 343-346 (2010).
13
On the effectiveness of thorup’s shortest path algorithm for large-scale network simulation (English)
SAINT, 339-342 (2010).
14
Stability analysis of XCP (eXplicit control protocol) with heterogeneous flows (English)
IEICE Transactions 92-B, No. 10, 3174-3182 (2009).
15
Delay performance analysis on ad-hoc delay tolerant broadcast network applied to vehicle-to-vehicle communication (English)
IEICE Transactions 92-B, No. 3, 728-736 (2009).
16
Estimating node characteristics from topological structure of social networks (English)
IEICE Transactions 92-B, No. 10, 3094-3101 (2009).
17
A consideration of human-unicycle model for unicycle operation analysis based on moment balancing point (English)
SMC, 2468-2473 (2009).
18
Analysis of human’s stabilization controller in a unicycle operation using inverse regulator problem of optimal control (English)
SMC, 2474-2479 (2009).
19
Design and implementation of flow-level simulator for a network with heterogeneous flows (English)
SAINT, 78-84 (2009).
20
Result 1 to 20 of 84 total
Start
Contact
Print
General Help
