3387 search results - page 339 / 678 » Automating the Metamodeling Process |
192
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
183
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Volunteered geographic information such as that available in blogs, wikis, social networking sites, and community contributed photo collections is enabling new applications. This ...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
197
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Note taking is a common way for physicians to collect information from their patients in medical inquiries and diagnoses. Many times, when describing the pathology in medical recor...
164
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...