15644 search results - page 387 / 3129 » Brittle System Analysis |
197
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
169
click to vote
COLING
2008
15 years 8 months ago
2008
Media reporting shapes public opinion which can in turn influence events, particularly in political elections, in which candidates both respond to and shape public perception of t...
171
click to vote
FOMI
2008
15 years 8 months ago
2008
In ontology the underlying nature of things is sought. Thus it is that the roles things play can sometimes be neglected. Some different sorts of things that get called roles: place...
306
click to vote
AIFIPP
1992
15 years 8 months ago
1992
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
166
click to vote
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...