7456 search results - page 1038 / 1492 » Parallelism in Logic Programming |
163
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
200
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
188
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
190
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
172
click to vote
ICES
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. There have been introduced a number of systems with evolvable hardware on a single chip. To overcome the lack of flexibility in these systems, we propose a single-chip e...