2741 search results - page 444 / 549 » Designing Law-Compliant Software Requirements |
159
click to vote
SEFM
2006
IEEE
16 years 9 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
172
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
156
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
153
click to vote
SMI
2005
IEEE
15 years 12 months ago
2005
IEEE
The recent ability to measure quickly and inexpensively dense sets of points on physical objects has deeply influenced the way engineers used to represent shapes in CAD systems, ...
186
click to vote
AOSD
2005
ACM
15 years 12 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...