全部文献期刊学位论文会议报纸专利标准年鉴图书|学者科研项目
中外文文献  中文文献  外文文献
作者:... Hiroyuki Nakagawa , Yasuyuki Tahara , Akihiko Ohsuga
来源:[J].Frontiers in Artificial Intelligence and Applications, 2012, Vol.240IOS Press
摘要:In the upstream software development processes, from requirements definition to design, one of the most important tasks is to make the requirements completely satisfied in the design process, therefore actually realizing the required system. Thus, a seamless connection between th...
作者:... Hiroyuki Nakagawa , Yasuyuki Tahara , Akihiko Ohsuga
来源:[J].Frontiers in Artificial Intelligence and Applications, 2013, Vol.259IOS Press
摘要:There is a need for the development of systems that are compliant with laws in public administration, because their administrative activities are based on laws. When new laws are made or existing laws are amended, however, civil servants need to develop or modify the systems in t...
作者:Yasuyuki Tahara , Nobukazu Yoshioka ...
来源:[J].ACM SIGCSE Bulletin, 2009, Vol.41 (2), pp.38-44ACM
摘要:Although model checking is expected as a practical formal verification approach for its automatic nature, it still suffers from difficulties in writing the formal descriptions to be verified and applying model checking tools to them effectively. The difficulties are found mainly ...
作者:Yasuyuki Tahara , Nobukazu Toshiba ...
来源:[J].ACM SIGSOFT Software Engineering Notes, 2001, Vol.26 (3), pp.78-85ACM
摘要:As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal with environmental changes and the various requirements of open networks through features such as autono...
作者:Yasuyuki Tahara , Nobukazu Yoshioka
来源:[J].International Journal of Pervasive Computing and Communications, 2005, Vol.1 (3), pp.227-245Emerald
摘要:A general framework for mobile Web services - which are Web services with the ability to migrate from one host to another - is proposed. In this framework, a mobile Web service is composed of a combination of a BPEL process description, service components to be carried, and migra...
作者:Yasuyuki Tahara , Ryohei Orihara
来源:[J].International Journal of Networked and Distributed Computing, 2019, Vol.7 (3)Atlantis出版社
摘要:Colorizing line drawings requires special skill, experience, and knowledge. Artists also spend a great deal of time and effort creating art. Given this background, research on automated line drawing colorization was recently conducted. However, the existing approaches presen...
作者:Yasuyuki Tahara , Ryohei Orihara
来源:[J].International Journal of Networked and Distributed Computing, 2019, Vol.7 (3)Atlantis出版社
摘要:Research on deep-training captioning models that modify the natural-language contents of images and moving images has produced considerable results and attracted attention in recent years. In this research, we aim to generate recipe sentences from cooking videos acquired fro...
作者:Yasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden
来源:[C].Software Engineering for Adaptive and Self-Managing Systems2017ACM
摘要:The rapidly changing requirements and environments of system operation demand dynamic changes to systems with as short downtimes as possible. System availability is a relevant feature for such dynamic changes, which we call dynamic evolution. One of the most promising approaches ...
作者:... Hideaki Hirayama , Yasuyuki Tahara , Akihiko Ohsuga
来源:[C].Applied Computing2016ACM
摘要:Process aware information system (PAIS) is important in the recent business environment. Developments of PAIS need to consider contexts about technical and business elements. They are needed to develop PAIS effectively (e.g. monitoring environment and constructing adequate busine...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×