332 search results - page 65 / 67 » Protocol Modelling Semantics for Embedded Systems |
CODES
2007
IEEE
14 years 4 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
MIDDLEWARE
2005
Springer
13 years 11 months ago
2005
Springer
With the advancement of technology in micro-electronics and wireless communication, small miniature devices called sensor nodes can be used to perform various tasks by forming the...
CCS
2003
ACM
13 years 11 months ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
ENTCS
2006
13 years 5 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
ANCS
2011
ACM
12 years 5 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...