721 search results - page 70 / 145 » A Living System Must Have Noncomputable Models |
CHI
2007
ACM
16 years 1 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
142
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The concept of customer relationship management (CRM) resonates with managers in today's competitive economy. Yet recent articles in the business press have described CRM imp...
100
click to vote
CACM
1998
15 years 9 days ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
121
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
100
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...