8636 search results - page 168 / 1728 » How Developers Copy |
152
click to vote
ACSW
2004
15 years 7 months ago
2004
This paper describes the content and delivery of a software internationalisation subject (ITN677) that was developed for Master of Information Technology (MIT) students in the Fac...
150
click to vote
SERP
2003
15 years 7 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
162
click to vote
CGF
2007
15 years 6 months ago
2007
We present a novel and effective method for modeling a developable surface to simulate paper bending in interactive and animation applications. The method exploits the representat...
191
click to vote
IJES
2006
15 years 6 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...