3844 search results - page 383 / 769 » Modular interpreted systems |
129
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We present Koala, a system that enables users to capture, share, automate, and personalize business processes on the web. Koala is a collaborative programming-bydemonstration syst...
142
click to vote
INCDM
2009
Springer
15 years 11 months ago
2009
Springer
Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided dia...
149
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
133
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
122
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...