2702 search results - page 392 / 541 » Practically Applicable Formal Methods |
101
Voted
ICSE
2007
IEEE-ACM
16 years 2 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...
103
Voted
PERCOM
2007
ACM
16 years 1 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...
118
Voted
PERCOM
2007
ACM
16 years 1 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 ...
89
Voted
PERCOM
2006
ACM
16 years 1 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...
130
Voted
ICWS
2009
IEEE
15 years 11 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...