169 search results - page 10 / 34 » From Operating-System Correctness to Pervasively Verified Ap... |
USENIX
2007
14 years 29 days ago
2007
Today’s Internet users and applications are placing increased demands on Internet service providers (ISPs) to deliver fine-grained, flexible route control. To assist network o...
LISA
2007
14 years 29 days ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
JDCTA
2010
13 years 5 months ago
2010
Information fused by multi-sensors is an important factor for obtaining reliable contextual information in smart spaces which use the pervasive and ubiquitous computing techniques...
JFP
2007
13 years 10 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...