1077 search results - page 15 / 216 » Management of Evolving Specifications using Category Theory |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
FOAL
2009
ACM
13 years 11 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
DGO
2006
13 years 9 months ago
2006
Over the past two years, horrific disasters such as the Asian Tsunami, Hurricane Katrina, and the Pakistan Earthquake have demonstrated the critical need for effective technologic...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
GECCO
2010
Springer
14 years 17 days ago
2010
Springer
One method of viral marketing involves seeding certain consumers within a population to encourage faster adoption of the product throughout the entire population. However, determi...