882 search results - page 13 / 177 » Allowing State Changes in Specifications |
121
click to vote
DKE
2011
14 years 6 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
93
Voted
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
The amount of legal information is continuously growing. New legislative documents appear everyday in the Web. Legal documents are produced on a daily basis in briefingformat, cont...
IJCAI
2001
15 years 1 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
TC
2010
14 years 10 months ago
2010
—As the cost per bit of NAND flash memory devices rapidly decreases, NAND-flash-based Solid-State Disks (SSDs) are replacing Hard Disk Drives (HDDs) used in a wide spectrum of co...
121
click to vote
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...