2060 search results - page 309 / 412 » The Composition of Event-B Models |
123
click to vote
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
163
click to vote
IM
2007
15 years 6 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
152
click to vote
IJIT
2004
15 years 6 months ago
2004
This paper deals with the application of a well-known neural network technique, multi-layer back-propagation (BP) neural network, in financial data mining. A modified neural networ...
139
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
143
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...