4887 search results - page 780 / 978 » System Level Design Using C |
122
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
141
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Exception handling is one of the popular means used for improving dependability and supporting recovery in the ServiceOriented Architecture (SOA). This practical experience paper ...
142
Voted
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
113
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Tag identification is an important tool in RFID systems with applications for monitoring and tracking. A RFID reader recognizes tags through communication over a shared wireless c...
130
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...