5630 search results - page 105 / 1126 » Computability in Specification |
127
click to vote
CTW
2006
15 years 4 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
129
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Ubiquitous application software usually has multiple QoS requirements, such as situationawareness, real-time, and security, which make the application software development complic...
156
click to vote
HIPEAC
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
150
Voted
TDSC
2010
14 years 10 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
139
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...