6106 search results - page 834 / 1222 » Modes for Software Architectures |
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...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...