2351 search results - page 167 / 471 » A Method of Requirement Inconsistency Analysis |
110
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
176
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
171
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
201
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
226
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
During the last decade national archives, libraries, museums and companies started to make their records, books and files electronically available. In order to allow efficient ac...