3976 search results - page 714 / 796 » Semantic Enterprise Technologies |
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
The size and resolution of computer displays has increased dramatically, allowing more information than ever to be rendered on-screen. However, items can now be so small or screen...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...