2836 search results - page 543 / 568 » Model Checking for Software Architectures |
DOCENG
2008
ACM
13 years 9 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
GEOINFO
2004
13 years 9 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
ERSA
2006
13 years 9 months ago
2006
Acoustic echo control is of vital interest for hands-free operation of telecommunications equipment. An important property of an acoustic echo controller is its capability to hand...
ACSW
2003
13 years 9 months ago
2003
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...