950 search results - page 157 / 190 » Developing Law-Governed Systems Using Aspects |
183
click to vote
MKM
2009
Springer
16 years 17 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
176
click to vote
ISCC
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper presents a more efficient Java Remote Method Invocation (RMI) implementation for high-speed clusters. The use of Java for parallel programming on clusters is limited b...
197
click to vote
FPL
2007
Springer
16 years 5 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
206
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
258
click to vote
AIWORC
2000
IEEE
15 years 10 months ago
2000
IEEE
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...