1992 search results - page 237 / 399 » Model Based Testing with Labelled Transition Systems |
162
click to vote
HICSS
2007
IEEE
16 years 23 days 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...
129
click to vote
DAC
2010
ACM
15 years 10 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...
195
click to vote
ACE
2004
15 years 7 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...
210
click to vote
IDEAS
2009
IEEE
16 years 1 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 ...
176
click to vote
WSC
2008
15 years 8 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...