2940 search results - page 342 / 588 » Relational Parametricity and Control |
186
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Some emerging networked embedded real-time applications have relatively long reaction time magnitudes—e.g., milliseconds to minutes. These longer execution time magnitudes allow...
174
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
182
click to vote
SOSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
183
click to vote
TASE
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
148
click to vote
COLCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
—Reputation systems provide a promising way for building trust through social control in collaborative communities by harnessing the community knowledge in the form of feedback. ...