1150 search results - page 87 / 230 » Specifying Information-Flow Controls |
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
HPDC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
CGI
2004
IEEE
14 years 3 days ago
2004
IEEE
In this paper a new adaptation-basedmethod is presented to reconstruct animatable facial models of human individuals from scan data. An anatomy-based generic control model serves ...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
IFM
1999
Springer
14 years 19 days ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...