860 search results - page 67 / 172 » A Process Algebra Based Verification of a Production System |
119
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
153
Voted
AWIC
2011
Springer
14 years 7 months ago
2011
Springer
Information extraction approaches are heavily used to gather product information on the Web, especially focusing on technical product specifications. If requesting different sour...
147
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
With the rapid growth of the Internet, users' ability to publish content has created active electronic communities that provide a wealth of product information. Consumers nat...
109
click to vote
WOTUG
2007
15 years 4 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
131
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...