2409 search results - page 233 / 482 » Logical systems for structured specifications |
121
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
193
click to vote
TOCL
2012
13 years 7 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
159
click to vote
SIGSAND
2008
15 years 6 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
140
click to vote
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
132
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...