1362 search results - page 145 / 273 » Model Checking Large Network Protocol Implementations |
133
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
136
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
134
Voted
IS
2010
15 years 1 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
138
click to vote
MSWIM
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
155
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...