Sciweavers

14331 search results - page 55 / 2867
» On the modeling and analysis of obligations
Sort
View
SIGDOC
2006
ACM
15 years 7 months ago
Recovering conceptual models from web applications
Giuseppe A. Di Lucca, Damiano Distante, Mario Luca...
DAC
2007
ACM
16 years 2 months ago
Modeling the Function Cache for Worst-Case Execution Time Analysis
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
Raimund Kirner, Martin Schoeberl
UML
2001
Springer
15 years 6 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
ACL
2012
13 years 4 months ago
Aspect Extraction through Semi-Supervised Modeling
Aspect extraction is a central problem in sentiment analysis. Current methods either extract aspects without categorizing them, or extract and categorize them using unsupervised t...
Arjun Mukherjee, Bing Liu 0001