5961 search results - page 779 / 1193 » Design Science and Software Engineering |
239
Voted
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
150
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
216
click to vote
MKWI
2008
15 years 7 months ago
2008
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
146
click to vote
COMSWARE
2007
IEEE
16 years 23 days ago
2007
IEEE
— End-to-end transport protocols such as TCP perform poorly in mobile environments, primarily due to their inability to cope with the dynamics incurred by node mobility. We re-co...
148
click to vote
FSTTCS
2007
Springer
16 years 18 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...