Sciweavers

3564 search results - page 137 / 713
» Evaluating a Formal Modelling Language
Sort
View
141
Voted
AIME
2009
Springer
15 years 7 months ago
Modeling Clinical Guidelines through Petri Nets
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
Marco Beccuti, Alessio Bottrighi, Giuliana Frances...
106
Voted
EACL
2003
ACL Anthology
15 years 5 months ago
Evaluating and Combining Approaches to Selectional Preference Acquisition
Previous work on the induction of selectional preferences has been mainly carried out for English and has concentrated almost exclusively on verbs and their direct objects. In thi...
Carsten Brockmann, Mirella Lapata
107
Voted
JSS
2007
86views more  JSS 2007»
15 years 3 months ago
Performance evaluation of UML design with Stochastic Well-formed Nets
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...
Simona Bernardi, José Merseguer
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
16 years 15 days ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon
126
Voted
CIKM
2011
Springer
14 years 3 months ago
Supervised language modeling for temporal resolution of texts
We investigate temporal resolution of documents, such as determining the date of publication of a story based on its text. We describe and evaluate a model that build histograms e...
Abhimanu Kumar, Matthew Lease, Jason Baldridge