9110 search results - page 1632 / 1822 » Formally-Based Design Evaluation |
136
click to vote
CN
2008
15 years 3 months ago
2008
It is common for hotspots in airports, cafes, and malls to deploy info-stations on their access points to provide local information such as flight schedule, multimedia access, sal...
162
click to vote
OIR
2007
15 years 3 months ago
2007
Purpose – The purpose of this paper is to evaluate Help features in digital libraries and identify problems related to their design. Design/methodology/approach – This study s...
138
click to vote
PVLDB
2008
15 years 3 months ago
2008
Recent advances in flash media have made it an attractive alternative for data storage in a wide spectrum of computing devices, such as embedded sensors, mobile phones, PDA's...
190
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
154
click to vote
TSE
2008
15 years 3 months ago
2008
Three-tier middleware architecture is commonly used for hosting enterprise-distributed applications. Typically, the application is decomposed into three layers: front end, middle t...