2251 search results - page 256 / 451 » Specification and Implementation Problems for C |
124
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in ...
136
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
118
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
130
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
129
Voted
WRAC
2005
Springer
15 years 10 months ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...