1054 search results - page 207 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
NIPS
2003
14 years 11 months ago
2003
At a cocktail party, a listener can selectively attend to a single voice and filter out other acoustical interferences. How to simulate this perceptual ability remains a great cha...
93
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
Twitter, a popular microblogging service, has received much attention recently. An important characteristic of Twitter is its real-time nature. For example, when an earthquake occ...