2623 search results - page 162 / 525 » tools 2010 |
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
206
click to vote
ISEMANTICS
2010
15 years 4 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
165
click to vote
SIMPRA
2010
15 years 4 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
174
click to vote
AISS
2010
15 years 3 months ago
2010
In recent years, e-government interoperability frameworks (e-GIFs) and enterprise architectures (EAs) have been extensively developed as mechanism tools for achieving the interope...
178
click to vote
AISS
2010
15 years 3 months ago
2010
The National Agricultural Biotechnology Information Center (NABIC) constructs an agricultural biology-based infrastructure and develops a biotechnological database. The NABIC has ...