4772 search results - page 729 / 955 » An approach to interface synthesis |
163
click to vote
SOCO
2007
Springer
16 years 23 days ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
196
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
195
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
185
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
153
Voted
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...