2006 search results - page 101 / 402 » Systematic Component Adaptation |
144
Voted
ICST
2011
IEEE
14 years 6 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
118
Voted
MRCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
137
click to vote
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Semi-algebraic sets occur naturally when dealing with implicit models and boolean operations between them. In this work we present an algorithm to efficiently and in a ce...
117
Voted
FIW
2007
15 years 4 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
143
Voted
DBSEC
2001
15 years 4 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...