Sciweavers

2369 search results - page 288 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
JWSR
2006
168views more  JWSR 2006»
15 years 6 months ago
Facilitating the Specification of Semantic Web Services Using Model-Driven Development
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
DSN
2011
IEEE
14 years 6 months ago
Resource and virtualization costs up in the cloud: Models and design choices
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
Daniel Gmach, Jerry Rolia, Ludmila Cherkasova
ASWEC
2006
IEEE
16 years 16 days ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
ISSRE
2000
IEEE
15 years 11 months ago
Module Size Distribution and Defect Density
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...
Yashwant K. Malaiya, Jason Denton
WADT
1998
Springer
15 years 10 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...