8828 search results - page 1655 / 1766 » Formal methods in practice |
123
click to vote
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
133
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
141
Voted
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
114
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Buffered crossbar switches are a special type of combined input-output queued switches with each crosspoint of the crossbar having small on-chip buffers. The introduction of cross...
128
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...