11089 search results - page 1710 / 2218 » Developing software families |
185
click to vote
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
182
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
194
click to vote
CW
2004
IEEE
15 years 11 months ago
2004
IEEE
Shared virtual worlds require exchanging shape models over the Internet. Since complex shapes such as VRML objects are often defined with polygonal meshes, the size of models may ...
200
click to vote
BSN
2006
IEEE
15 years 11 months ago
2006
IEEE
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...
158
click to vote
CIE
2006
Springer
15 years 11 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...