729 search results - page 98 / 146 » Communicating Evolving Algebras |
POPL
2010
ACM
13 years 7 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—The IEEE 802.11 wireless LAN (WLAN) is a timetested technology, but it is still evolving towards even higher speeds and richer features. For multi-room IPTV delivery, wh...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
The telecommunication world keeps evolving, with the development of new technologies, and operators have to wonder if investing in the costly infrastructures and potential licenses...
SCN
2011
Springer
13 years 3 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
INFOCOM
2011
IEEE
13 years 5 days ago
2011
IEEE
—The Internet has significantly evolved in the number and variety of applications. Network operators need mechanisms to constantly monitor and study these applications. Given mo...