1661 search results - page 175 / 333 » Real-time specification patterns |
134
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
143
click to vote
SNPD
2008
15 years 3 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
124
Voted
AAAI
2006
15 years 3 months ago
2006
When humans approach the task of text categorization, they interpret the specific wording of the document in the much larger context of their background knowledge and experience. ...
138
click to vote
AAAI
2006
15 years 3 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
112
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...