860 search results - page 169 / 172 » A Process Algebra Based Verification of a Production System |
ICDM
2008
IEEE
14 years 2 months ago
2008
IEEE
Web Mining Systems exploit the redundancy of data published on the Web to automatically extract information from existing web documents. The first step in the Information Extract...
JCP
2007
13 years 7 months ago
2007
—Embedded systems normally involve a combination of hardware and software resources designed to perform dedicated tasks. Such systems have widely crept into industrial control, a...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
“Crowdsourcing” is currently one of the most discussed key words within the open innovation community. The major question for both research and business is how to find and lev...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
PROFES
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...