1912 search results - page 219 / 383 » On the evaluation of argumentation formalisms |
208
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
197
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
166
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
183
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
156
click to vote
ICSE
1987
IEEE-ACM
15 years 10 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...