Sciweavers

3451 search results - page 449 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
WWW
2009
ACM
16 years 7 months ago
Web service derivatives
Web service development and usage has shifted from simple information processing services to high-value business services that are crucial to productivity and success. In order to...
Thomas Meinl, Benjamin Blau
CAD
2006
Springer
15 years 6 months ago
A unified subdivision approach for multi-dimensional non-manifold modeling
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
Yu-Sung Chang, Hong Qin
SP
2006
IEEE
169views Security Privacy» more  SP 2006»
16 years 20 days ago
A Safety-Oriented Platform for Web Applications
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
Richard S. Cox, Steven D. Gribble, Henry M. Levy, ...
STEP
2005
IEEE
16 years 7 days ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron
JSC
2010
100views more  JSC 2010»
15 years 1 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov