14331 search results - page 86 / 2867 » On the modeling and analysis of obligations |
162
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
Analyzing the author and topic relations in email corpus is an important issue in both social network analysis and text mining. The AuthorTopic model is a statistical model that id...
176
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we introduce a new task model that is specifically targeted towards representing stream processing applications. Examples of such applications are those involved in...
176
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
171
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
168
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...