725 search results - page 122 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
130
Voted
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
110
click to vote
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
Depth enhanced panoramas are a practical solution to the difficult problem of inside-looking-out modeling. Depth enhanced panoramas extend color panoramas to support viewpoint tra...
109
Voted
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
112
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...
115
Voted
JAIR
2008
15 years 2 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...