Sciweavers

3558 search results - page 201 / 712
» Object-Oriented Programming on the Network
Sort
View
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
POPL
1995
ACM
15 years 10 months ago
A Language with Distributed Scope
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation. Obliq objects have state and are local to a site. Obliq computati...
Luca Cardelli
ICC
2007
IEEE
301views Communications» more  ICC 2007»
16 years 24 days ago
Network Lifetime Optimization by Duality Approach for Multi-Source and Single-Sink Topology in Wireless Sensor Networks
—The multi-source and single-sink (MSSS) topology, in wireless sensor networks, is defined as the network topology, where all of nodes can gather, receive and transmit data to t...
Hui Wang, Yuhang Yang, Maode Ma, Xiaomin Wang
SIGCSE
2002
ACM
211views Education» more  SIGCSE 2002»
15 years 6 months ago
To java.net and beyond: teaching networking concepts using the Java networking API
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...
Greg Gagne
RAID
2005
Springer
15 years 12 months ago
Environment-Sensitive Intrusion Detection
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
Jonathon T. Giffin, David Dagon, Somesh Jha, Wenke...