2940 search results - page 192 / 588 » Relational Parametricity and Control |
155
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Considering the solution of dynamic access problems in a user hierarchy, a novel scheme based on one-way hash function is proposed to manage the cryptographic keys in the paper. T...
163
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
199
click to vote
FGCN
2008
IEEE
15 years 8 months ago
2008
IEEE
Ubiquitous computing environment requirement needs information sharing of sensors based on sensor network technology, situation-aware and determination functions and other related...
150
click to vote
LREC
2008
15 years 8 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
180
click to vote
AROBOTS
2004
15 years 6 months ago
2004
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...