10462 search results - page 257 / 2093 » Towards a |
148
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
243
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
164
Voted
IFSA
2007
Springer
16 years 23 days ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
192
click to vote
ILC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
177
click to vote
IMA
2007
Springer
16 years 23 days ago
2007
Springer
Demand in the consumer market for graphics hardware that accelerates rendering of 3D images has resulted in commodity devices capable of astonishing levels of performance. These re...