Sciweavers

1338 search results - page 95 / 268
» Consistent Code Generation from UML Models
Sort
View
SOSE
2006
IEEE
15 years 8 months ago
Service Oriented Evolutions and Analyses of Design Patterns
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
Jing Dong, Sheng Yang, Dushyant S. Lad, Yongtao Su...
ICAIL
1995
ACM
15 years 6 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
ICMCS
2008
IEEE
193views Multimedia» more  ICMCS 2008»
15 years 9 months ago
Video coding with spatio-temporal texture synthesis and edge-based inpainting
This paper proposes a video coding scheme, in which textural and structural regions are selectively removed in the encoder, and restored in the decoder by spatio-temporal texture ...
Chunbo Zhu, Xiaoyan Sun, Feng Wu, Houqiang Li
138
Voted
ICST
2009
IEEE
15 years 16 days ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICAI
2007
15 years 4 months ago
Mining and Dynamic Simulation of Sub-Networks from Large Biomolecular Networks
Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As biomolecular...
Xiaohua Hu, Fang-Xiang Wu, Michael K. Ng, Bahrad A...