10159 search results - page 478 / 2032 » System Design Validation Using Formal Models |
143
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
139
click to vote
JUCS
2007
15 years 4 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
120
click to vote
ESANN
2004
15 years 6 months ago
2004
This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
131
click to vote
ICECCS
1997
IEEE
15 years 9 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
144
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We propose a model for user purchase behavior in online stores that provide recommendation services. We model the purchase probability given recommendations for each user based on...