5851 search results - page 161 / 1171 » Coordination as a Direct Process |
139
click to vote
IJMMS
1998
15 years 6 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
175
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
193
click to vote
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
162
click to vote
APCCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
—In this paper, an area/delay efficient recoding method for parallel CORDIC (COordinate Rotation DIgital Computer) rotation algorithm is proposed. This recoding method can reduce...
165
click to vote
JSS
2011
14 years 9 months ago
2011
Location-based services have attracted the attention of important research in the field of mobile computing. Specifically, different mechanisms have been proposed to process loc...