3828 search results - page 689 / 766 » Proof-Based System Engineering Using a Virtual System Model |
98
Voted
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
127
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
118
Voted
IDMS
2000
Springer
15 years 5 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
85
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
145
click to vote
TMC
2011
14 years 9 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...