13277 search results - page 2282 / 2656 » An Approach to Clustering Abstracts |
208
click to vote
MEMOCODE
2003
IEEE
16 years 25 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
220
click to vote
RSP
2003
IEEE
16 years 25 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
204
click to vote
SP
2003
IEEE
16 years 25 days ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
219
click to vote
TPCG
2003
IEEE
16 years 25 days ago
2003
IEEE
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
176
click to vote
ICAIL
2003
ACM
16 years 24 days ago
2003
ACM
Name matching—recognizing when two different strings are likely to denote the same entity—is an important task in many legal information systems, such as case-management syste...