3792 search results - page 592 / 759 » Techniques for Trusted Software Engineering |
176
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
138
click to vote
AUIC
2005
IEEE
16 years 5 days ago
2005
IEEE
Computer keyboards are used to input hundreds of different languages using many different alphabets. Despite this diversity, the physical layout of keyboards is fairly uniform, ...
187
click to vote
PLDI
2005
ACM
16 years 3 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
180
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
The emergence of portable computers and wireless technologies has introduced new challenges for middleware. Mobility brings new requirements and is becoming a key characteristic. M...
180
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...