380 search results - page 26 / 76 » Operational Semantics for Declarative Networking |
206
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
101
click to vote
EUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
We describe Neutron, a version of the TinyOS operating system that efficiently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron...
126
click to vote
JUCS
2010
14 years 6 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
DASFAA
2004
IEEE
15 years 3 months ago
2004
IEEE
XML is becoming the standard data exchange format. View transformation of XML data is important and frequent operation in XML data integration and publishing. In schema-based view ...