1377 search results - page 102 / 276 » Interface design for a modern software ticketing system |
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
107
click to vote
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
112
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...
128
Voted
CASES
2006
ACM
15 years 5 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
119
click to vote
ISQED
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...