5515 search results - page 712 / 1103 » Software architecture: a roadmap |
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
172
click to vote
DT
2000
15 years 6 months ago
2000
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
164
click to vote
JECR
2000
15 years 6 months ago
2000
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
165
click to vote
CGF
1999
15 years 6 months ago
1999
Agents in virtual environments require a combination of perception and action to behave in an autonomous way. We extend a software architecture for the management of actions blend...