8555 search results - page 46 / 1711 » Property Based Coordination |
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In augmented virtuality, estimating object surface reflectance properties is important when rendering objects under arbitrary illuminationconditions. However, faithfully estimatin...
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
ICSOC
2005
Springer
14 years 2 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...