1700 search results - page 147 / 340 » Specifying and implementing refactorings |
146
Voted
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
193
Voted
SC
1992
ACM
15 years 9 months ago
1992
ACM
The NAS Parallel Benchmarks have been developed at NASA Ames Research Center to study the performance of parallel supercomputers. The eight benchmark problems are specified in a &...
160
Voted
VLDB
1992
ACM
15 years 9 months ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
137
click to vote
HOTOS
2007
IEEE
15 years 9 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
124
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...