14331 search results - page 345 / 2867 » On the modeling and analysis of obligations |
168
click to vote
AICT
2008
IEEE
16 years 1 months ago
2008
IEEE
— The Passive Optical Network (PON) is an attractive solution for delivering services with numerous applications, such as high-definition video, video conferencing and data traff...
183
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
189
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
The faceting signal, defined in this paper as the difference signal between a rendering of the original geometric model and a simplified version of the geometric model, is respo...
171
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
205
click to vote
ICICS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...