2702 search results - page 392 / 541 » Practically Applicable Formal Methods |
142
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
155
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...
174
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents novel text input methods for mobile devices. In particular, it shows how users can capture text from books, newspapers, and other objects by using the digital ...
135
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
The number of channels specified for IEEE 802.15.4 Low-Rate Wireless Personal Area Networks (LR-WPANs) is too few to operate many applications of WPANs in the same area. To overco...
188
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...