741 search results - page 115 / 149 » SMILE - A Framework for Semantic Applications |
115
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
214
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
191
Voted
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
126
click to vote
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data models, the fundamental asset of ontologies is the...
120
click to vote
PERCOM
2007
ACM
16 years 1 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...