8022 search results - page 155 / 1605 » Predictability in Critical Systems |
176
click to vote
ISAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
165
Voted
GG
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
115
click to vote
DLOG
2003
15 years 6 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
129
click to vote
LREC
2008
15 years 6 months ago
2008
Entities -- people, organizations, locations and the like -- have long been a central focus of natural language processing technology development, since entities convey essential ...
134
click to vote
IM
2003
15 years 6 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...