搜索页_ USA 2. Department of Computer Science and Software Engineering

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

SpringerLink电子期刊(42)

在“SpringerLink电子期刊”中，命中：42条，耗时：0.0490078 秒

在所有数据库中总计命中：61条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. Software-Defined and Virtualized Future Mobile and Wireless Networks: A Survey

作者：Mao Yang (1)
Yong Li (2)
Depeng Jin (2)
Lieguang Zeng (2)
Xin Wu (3)
Athanasios V. Vasilakos (4)

1. School of Electronics and Information ; Northwestern Polytechnical University ; Xi鈥檃n ; 710072 ; People鈥檚 Republic of China
2. Department of Electronic Engineering ; Tsinghua University ; Beijing ; 100084 ; People鈥檚 Republic of China
3. Big Switch ; Santa Clara ; USA
4. Department of Computer and Telecommunications Engineering ; University of Western Macedonia ; Greece Electrical and Computer Engineering ; National Technical University of Athens (NTUA) ; Athens ; Greece

关键词：Software defined network ; Network virtualization ; Network architecture ; Future mobile and wireless network

刊名：Mobile Networks and Applications

出版年：2015

3. A screening method for bridge scour estimation and flood adaptation planning utilizing HAZUS-MH 2.1 and HEC-18

作者： James Carl Banks ; Janey V. Camp ; Mark D. Abkowitz

刊名：Natural Hazards

出版年：2016

4. FlowBroker: A Software-Defined Network Controller Architecture for Multi-Domain Brokering and Reputation

作者：Dan Marconett (1)
S. J. B. Yoo (2)

1. Department of Computer Science ; University of California Davis ; One Shields Avenue ; Davis ; CA ; 95616 ; USA
2. Department of Electrical and Computer Engineering ; University of California Davis ; One Shields Avenue ; Davis ; CA ; 95616 ; USA

关键词：Software ; defined networking ; Multi ; domain brokering ; Load ; balancing ; Scalability

刊名：Journal of Network and Systems Management

出版年：2015

5. Data analysis and visualization for the bridge deck inspection and evaluation robotic system

作者：Hung Manh La (1)
Nenad Gucunski (2)
Seong-Hoon Kee (3)
Luan Van Nguyen (1)

1. Department of Computer Science and Engineering ; University of Nevada ; Reno ; NV 89557 ; USA
2. Department of Civil and Environmental Engineering ; Rutgers University ; Piscataway ; NJ 08854 ; USA
3. Department of Architectural Engineering ; Dong-A University ; Busan ; Korea

关键词：Mobile robotic systems ; Bridge deck inspection ; Image stitching ; Nondestructive evaluation

刊名：Visualization in Engineering

出版年：2015

6. Performance Measurement in Banking & Software Firm: An Empirical Research

作者：Ajay Kumar Behera (1)
Narayan C. Nayak (2)
Harish C. Das (1)

1. Mechanical Engineering Department ; SOA University ; Bhubaneswar ; India
2. Mechanical Engineering Department ; IGIT ; Sarang ; India

关键词：Artificial neural network modeling ; Effectiveness ; Efficiency ; IT literacy level ; IT performance ; IT usage

刊名：Global Journal of Flexible Systems Management

出版年：2015

7. From Stakeholder Requirements to Formal Specifications Through Refinement

作者：Feng-Lin Li (15)
Jennifer Horkoff (16)
Alexander Borgida (17)
Giancarlo Guizzardi (18)
Lin Liu (19)
John Mylopoulos (15)

15. Department of Information Engineering and Computer Science ; University of Trento ; Trento ; Italy
16. Centre for Human Computer Interaction Design ; City University ; London ; UK
17. Department of Computer Science ; Rutgers University ; New Brunswick ; USA
18. Computer Science Department ; Federal University of Esp铆rito Santo ; Vit贸ria ; Brazil
19. School of Software ; Tsinghua University ; Beijing ; China

关键词：Requirements modeling language ; Functional requirements ; Non ; functional requirements ; Ontologies

刊名：Lecture Notes in Computer Science

出版年：2015

8. A novel software program for detection of potential air emboli during cardiac surgery

作者：Frank Secretain (1)
Andrew Pollard (1) (2)
Mesbah Uddin (3)
Christopher G Ball (4)
Andrew Hamilton (5)
Robert C Tanzola (6)
Joelle B Thorpe (6)
Brian Milne (6)

1. Department of Mechanical and Materials Engineering ; Queen’s University ; Kingston ; ON ; K7L 3N6 ; Canada
2. Department of Mathematics and Statistics ; Queen’s University ; Kingston ; ON ; Canada
3. Department of Mechanical Engineering ; University of North Carolina ; Charlotte ; NC ; USA
4. Department of Pathology and Laboratory Medicine ; University of Ottawa ; Ottawa ; ON ; Canada
5. Department of Surgery ; Queen’s University ; Kingston ; ON ; Canada
6. Department of Anesthesiology & Perioperative Medicine ; Queen’s University ; Kingston ; ON ; Canada

关键词：Cardiac surgery ; Cardiopulmonary bypass ; Air emboli ; Cerebral emboli ; Neurological dysfunction ; Myocardial dysfunction ; Ultrasound ; Transcranial doppler ; Transesophageal echocardiography

刊名：Cardiovascular Ultrasound

出版年：2015

9. Routing, spectrum access, and scheduling in multi-hop multi-channel wireless networks with MIMO links

作者：Hang Liu (1)
Lin Luo (2)
Dengyuan Wu (3)
Jiguo Yu (4)
Dechang Chen (5)

1. Department of Electrical Engineering and Computer Science ; The Catholic University of America ; Washington DC ; USA
2. Marvell ; Inc. ; San JoseCA ; USA
3. Department of Computer Science ; The George Washington University ; Washington DC ; USA
4. School of Information Science and Engineering ; Qufu Normal University ; Rizhao ; Shandong ; China
5. Department of Preventive Medicine and Biometrics ; Uniformed Services University of the Health Sciences ; Bethesda ; MD ; USA

关键词：Software ; defined radio ; MIMO ; Wireless mesh network ; Routing ; Spectrum access ; Channel assignment ; Scheduling

刊名：EURASIP Journal on Wireless Communications and Networking

出版年：2015

10. Guest editorial: special issue on realizing AI synergies in software engineering (part 2)

作者：Rachel Harrison (1)
Tim Menzies (2)

1. Department of Computing and Communication Technologies ; Oxford Brookes University ; Oxford ; OX33 1HX ; UK
2. North Carolina State University ; Raleigh ; USA

刊名：Automated Software Engineering

出版年：2015

按检索点细分(42)

作者(14)

文摘(4)

按出版年细分(42)

2017年(1)

2016年(1)

2015年(27)

2014年(12)

2013年(1)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700