Sciweavers

766 search results - page 94 / 154
» Multiple-view feature modelling for integral product develop...
Sort
View
WETICE
2006
IEEE
14 years 3 months ago
Security Verification Techniques Applied to PatchLink COTS Software
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
DCEIS
2006
13 years 10 months ago
Semantic Coherence in Software Engineering
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
Michael Skusa
ISPE
2003
13 years 10 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
BMCBI
2010
122views more  BMCBI 2010»
13 years 9 months ago
An overview of the CellML API and its implementation
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan G...
IGARSS
2009
13 years 6 months ago
Modeling Surface-flow Characteristics in Glaciated Landscapes
The Prairie Pothole Region (PPR) of the US and Canada is characterized by thousands of shallow, water-filled depressions with sizes ranging from a fraction of a hectare to several...
Janet Gritzner