1463 search results - page 170 / 293 » Software engineering practices in Singapore |
145
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
166
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
176
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
136
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...
215
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Consider a directed graph G = (V, E) with n vertices and a root vertex r ∈ V . The DMDST problem for G is one of constructing a spanning tree rooted at r, whose maximal degree is...