5518 search results - page 613 / 1104 » Rule-Based Service Modeling |
216
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
200
click to vote
ICWE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper we present an implementation using XML and Java (XSHAAD) based on a modular architecture of SHAAD to support a web-based Adaptive Hypermedia System. This ar...
178
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this contribution, we propose an improved system architecture focusing on system reference and protocol stack for broadband wireless access networks. The proposal aims to constr...
198
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
261
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...