2364 search results - page 385 / 473 » An Engine for Computing Well-Founded Models |
140
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
In the design of complex power distribution networks (PDN) with multiple power islands, it is required that the PDN represents a low impedance as seen by the digital modules. This...
109
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Selection is a fundamental task in interactive applications, typically performed by clicking or lassoing items of interest. However, users may require more nuanced forms of select...
175
click to vote
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
125
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
148
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...