14331 search results - page 71 / 2867 » On the modeling and analysis of obligations |
88
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we propose a timing model reduction algorithm for hierarchical timing analysis based on a bicliquestar replacement technique. In hierarchical timing analysis, ea...
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
ICPR
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper focuses on the task of text sentiment analysis in hybrid online articles and web pages. Traditional approaches of text sentiment analysis typically work at a particular ...
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
131
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...