3441 search results - page 556 / 689 » Parallel Logic Programming Systems |
131
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
145
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
Address re-mapping techniques in so-called active memory systems have been shown to dramatically increase the performance of applications with poor cache and/or communication beha...
143
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
136
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
158
click to vote
ICPPW
2006
IEEE
15 years 11 months ago
2006
IEEE
Location is one of the most important contexts used in the applications in the pervasive computing environments . It helps the application do the right thing at the right place. O...