Sciweavers

1328 search results - page 94 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
CBSQ
2003
Springer
14 years 2 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
APIN
2000
124views more  APIN 2000»
13 years 8 months ago
Exception Handling in Workflow Systems
Abstract. In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the "justified" ECA rules to captu...
Zongwei Luo, Amit P. Sheth, Krys Kochut, John A. M...
CORR
1998
Springer
62views Education» more  CORR 1998»
13 years 8 months ago
Eliminating deceptions and mistaken belief to infer conversational implicature
Conversational implicatures are usually described as being licensed by the disobeying or flouting of some principle by the speaker in cooperative dialogue. However, such work has...
Mark Lee, Yorick Wilks
ICIP
2006
IEEE
14 years 10 months ago
Laplace Random Vectors, Gaussian Noise, and the Generalized Incomplete Gamma Function
Wavelet domain statistical modeling of images has focused on modeling the peaked heavy-tailed behavior of the marginal distribution and on modeling the dependencies between coeffi...
Ivan W. Selesnick
IJCAI
2003
13 years 10 months ago
Writer's Aid: Using a Planner in a Collaborative Interface
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
Tamara Babaian, Barbara J. Grosz, Stuart M. Shiebe...