Sciweavers

2968 search results - page 307 / 594
» Network Programming Using PLAN
Sort
View
CLUSTER
2002
IEEE
15 years 3 months ago
Location Selection for Active Services
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
Roger Karrer, Thomas R. Gross
WWW
2004
ACM
16 years 4 months ago
A combined approach to checking web ontologies
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-...
POPL
2006
ACM
16 years 4 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
JAVA
1999
Springer
15 years 8 months ago
Interfacing Java to the Virtual Interface Architecture
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
Chi-Chao Chang, Thorsten von Eicken
IWANN
2009
Springer
15 years 10 months ago
Outdoors Monitoring of Elderly People Assisted by Compass, GPS and Mobile Social Network
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
Roberto Calvo-Palomino, Pedro de las Heras Quir&oa...