11462 search results - page 2174 / 2293 » Developing Application-Centric Methods |
164
click to vote
TAICPART
2006
IEEE
16 years 13 days ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
188
click to vote
WIOPT
2006
IEEE
16 years 12 days ago
2006
IEEE
— This paper develops a novel color-based broadcast scheme for wireless ad hoc networks where each forwarding of the broadcast message is assigned a color from a given pool of co...
167
click to vote
ACMACE
2006
ACM
16 years 12 days ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...
170
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
184
click to vote
ELPUB
2006
ACM
16 years 11 days ago
2006
ACM
The Text Encoding Initiative is an international and interdisciplinary standards project established in 1987 to develop, maintain and promulgate hardware- and software-independent...