3864 search results - page 416 / 773 » time 2005 |
198
Voted
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
207
click to vote
MATA
2005
Springer
16 years 10 days ago
2005
Springer
Typical transmission control protocol (TCP) based web agents in mobile wireless environment have several deficiencies, such as performance degradation, head-of-line blocking, and u...
170
click to vote
MHCI
2005
Springer
16 years 10 days ago
2005
Springer
New mobile devices can be difficult to use because they give users access to powerful computing devices through small interfaces, which typically have limited input facilities. On...
146
click to vote
MICAI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
197
click to vote
NIME
2005
Springer
16 years 10 days ago
2005
Springer
WISEAR (Wireless Sensor Array) is a Linux based Embeddedx86 TS- 5600 SBC (Single Board Computer) specifically configured for use with music, dance and video performance technologi...