670 search results - page 58 / 134 » Modeling generalized implicatures using non-monotonic logics |
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
IWFM
1998
15 years 1 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...