Sciweavers

329 search results - page 31 / 66
» Design for verification for asynchronously communicating Web...
Sort
View
COMPSAC
2006
IEEE
14 years 1 months ago
Testability of Software in Service-Oriented Architecture
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
Wei-Tek Tsai, Jerry Gao, Xiao Wei, Yinong Chen
WWW
2007
ACM
14 years 8 months ago
Development of a semantic web based mobile local search system
This paper describes the development of a semantic web and ontology based local search system that can be used in wireless mobile communication services. Categories and Subject De...
Joo Seong Jeon, Gi Jeong Lee
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 7 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
INFOCOM
1998
IEEE
13 years 12 months ago
Implementing Protocols in Java: The Price of Portability
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
Bobby Krupczak, Mostafa H. Ammar, Kenneth L. Calve...
SIMPRA
2011
13 years 2 months ago
Virtual segment: Store-carry-forward relay-based support for wide-area non-real-time data exchange
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
Shinya Yamamura, Akira Nagata, Masato Tsuru, Hitom...