1992 search results - page 237 / 399 » Model Based Testing with Labelled Transition Systems |
128
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
85
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
153
click to vote
ACE
2004
15 years 5 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...
172
Voted
IDEAS
2009
IEEE
15 years 10 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
133
Voted
WSC
2008
15 years 6 months ago
2008
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...