2088 search results - page 323 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
190
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
168
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
172
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
189
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
167
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...