3765 search results - page 205 / 753 » Formal Methods for Systems Engineering Behavior Models |
186
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
181
click to vote
JUCS
2008
15 years 6 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
161
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
183
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
156
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This is a critical design paper offering a possible scenario of use intended to provoke reflection about values and politics of design in persuasive computing. We describe the des...