Sciweavers

1714 search results - page 213 / 343
» Abstract Models of Memory Management
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
15 years 3 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
152
Voted
RULEML
2009
Springer
15 years 10 months ago
Exploration of SWRL Rule Bases through Visualization, Paraphrasing, and Categorization of Rules
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
171
Voted
APSEC
2007
IEEE
15 years 9 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
ISPW
2007
IEEE
15 years 9 months ago
Process Mining Framework for Software Processes
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
Vladimir Rubin, Christian W. Günther, Wil M. ...
103
Voted
ER
2004
Springer
89views Database» more  ER 2004»
15 years 8 months ago
Elementary Translations: The Seesaws for Achieving Traceability Between Database Schemata
There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
Eladio Domínguez, Jorge Lloret, Angel Luis ...