3828 search results - page 353 / 766 » Proof-Based System Engineering Using a Virtual System Model |
166
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
244
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
156
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
Selectiveattentionis a mechanismsused to sequentiallyselectthe spatiallocationsof salientregionsin the sensor’sfieldof view. This mechanism overcomesthe problem of flooding limi...
214
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
214
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...