950 search results - page 157 / 190 » Developing Law-Governed Systems Using Aspects |
143
Voted
MKM
2009
Springer
15 years 10 months 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...
145
click to vote
ISCC
2007
IEEE
15 years 9 months 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...
167
Voted
FPL
2007
Springer
15 years 9 months 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...
171
Voted
EDOC
2003
IEEE
15 years 8 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...
210
Voted
AIWORC
2000
IEEE
15 years 7 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...