15777 search results - page 3034 / 3156 » The Reformulation-Optimization Software Engine |
116
Voted
RE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract During the selection of commercial off-theshelf (COTS) products, mismatches encountered between stakeholders' requirements and features offered by COTS products are i...
133
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
121
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
125
Voted
CAL
2008
15 years 1 months ago
2008
Packet-switched interconnect fabric, widely viewed as the de facto on-chip data communication standard in the many-core era, offers high throughput and excellent scalability. Howev...
97
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...