1988 search results - page 261 / 398 » Engineering formal metatheory |
185
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
143
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
126
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
158
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
137
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...