2339 search results - page 353 / 468 » Models and Tools for Mulan Applications |
183
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
195
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
189
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Statistical bioinformatics is the study of biological data sets obtained by new micro-technologies by means of proper statistical methods. For a better understanding o...
225
click to vote
PVLDB
2010
15 years 4 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...