1485 search results - page 144 / 297 » Whole Program Paths |
163
click to vote
ICCCN
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
168
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
156
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
146
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
188
click to vote
ACSE
2000
ACM
15 years 10 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...