3792 search results - page 699 / 759 » Techniques for Trusted Software Engineering |
88
Voted
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
SAMOS
2009
Springer
15 years 7 months ago
2009
Springer
Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software s...
103
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Many tools exist for developing real-time distributed groupware, but most of these tools focus primarily on the performance of the resulting system, or on simplifying the developm...
109
Voted
TAPIA
2009
ACM
15 years 7 months ago
2009
ACM
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
109
Voted
CIMCA
2008
IEEE
15 years 7 months ago
2008
IEEE
The process of evaluating, classifying, and assigning bugs to programmers is a difficult and time consuming task which greatly depends on the quality of the bug report itself. It ...