6474 search results - page 467 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
244
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
183
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Measuring user acceptance to avoid system rejection by the users in pre-prototype stage of product development is of high interest for both researchers and practitioners. This is ...
221
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
218
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
225
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...