12333 search results - page 2130 / 2467 » System Level Modelling for Hardware Software Systems |
306
click to vote
Publication
Accessibility is a comprehensive measure of the interaction between land use and transportation
systems. It has been put forward as a performance-measure for evaluating the land u...
172
click to vote
DAWAK
2006
Springer
15 years 9 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
261
Voted
CC
2009
Springer
16 years 6 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
154
Voted
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
168
click to vote
ICDE
2007
IEEE
16 years 14 days ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...