2539 search results - page 267 / 508 » Debugging Method Names |
116
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
A (k, t)-track layout of a graph G consists of a (proper) vertex t-colouring of G, a total order of each vertex colour class, and a (non-proper) edge k-colouring such that between...
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
The Strawberry Discovery and Niche Process (SDNP) introduces a workbook, a new systematic method, a compact and cost-effective training process. The trainees are directed in a sys...
130
click to vote
COMCOM
1998
15 years 2 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
167
click to vote
TOCS
1998
15 years 2 months ago
1998
ile system abstractions, they all require either changes to the operating system or modifications to standard libraries. The article gives a detailed performance analysis of our ap...
138
click to vote
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...