3880 search results - page 50 / 776 » Evaluation of Hypermedia Application Development and Managem... |
171
click to vote
SIGUCCS
2005
ACM
15 years 12 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
163
click to vote
AUIC
2006
IEEE
16 years 10 days ago
2006
IEEE
We developed a wearable fatigue monitoring system with a high-sensitivity 2-axis accelerometer and an on-board signal processing microcontroller. The proposed system measures fain...
305
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We present the design, implementation, and evaluation of ArrayStore, a new storage manager for complex, parallel array processing. ArrayStore builds on prior work in the area of m...
203
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
175
click to vote
CSMR
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...