3564 search results - page 460 / 713 » Evaluating a Formal Modelling Language |
146
click to vote
ICADL
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid emergence and proliferation of Internet and the trend of globalization, a tremendous amount of textual documents written in different languages are electronically ac...
124
Voted
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
130
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
120
click to vote
AAAI
2006
15 years 5 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
145
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...