262 search results - page 37 / 53 » Making Specifications Complete Through Models |
103
click to vote
JUCS
2008
14 years 11 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
101
click to vote
WWW
2004
ACM
16 years 11 days ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
COMPUTER
1999
14 years 11 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
105
click to vote
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
183
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Probabilistic databases have received considerable attention recently due to the need for storing uncertain data produced by many real world applications. The widespread use of pr...