2282 search results - page 325 / 457 » Active property checking |
IEEESCC
2005
IEEE
14 years 3 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
UML
2001
Springer
14 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
HICSS
1997
IEEE
14 years 2 months ago
1997
IEEE
The profitability of banks world-wide has decreased from the early 1980s to the 1990s. This has been attributed to several factors: the decline of traditional banking activities (...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...