14331 search results - page 88 / 2867 » On the modeling and analysis of obligations |
205
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
209
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
187
click to vote
EMNLP
2011
14 years 6 months ago
2011
We present a general learning-based approach for phrase-level sentiment analysis that adopts an ordinal sentiment scale and is explicitly compositional in nature. Thus, we can mod...
151
click to vote
DMSN
2004
ACM
15 years 11 months ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
139
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
We describe ongoing research on segmenting and labeling HTML medical journal articles. In contrast to existing approaches in which HTML tags usually serve as strong indicators, we...