803 search results - page 150 / 161 » Building Formal Models for Software Requirements |
110
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
ICALT
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we present an empirical study of using a new and cost-effective Web-based collaboration software, Wiki, in a freshman-level English as a second language (ESL) cours...
SC
2005
ACM
15 years 5 months ago
2005
ACM
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
NETGAMES
2004
ACM
15 years 5 months ago
2004
ACM
Large-scale multiplayer online games require considerable investment in hosting infrastructures. However, the difficulty of predicting the success of a new title makes investing ...
UIST
2004
ACM
15 years 5 months ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...