43264 search results - page 7955 / 8653 » Comparing models of computation |
190
Voted
ASM
2010
ASM
16 years 19 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
159
click to vote
IAT
2008
IEEE
16 years 18 days ago
2008
IEEE
In intelligence analysis, information plays an important role in solving problems and making decisions. However, an increasing number of malicious behaviors, most of which come fr...
138
click to vote
INFOCOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...
176
Voted
VR
2008
IEEE
16 years 16 days ago
2008
IEEE
The use of Virtual Environments for Training is strongly stimulated by important needs for training on sensitive equipments. Yet, developing such an application is often done with...
196
Voted
COMSWARE
2007
IEEE
16 years 15 days ago
2007
IEEE
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...