6614 search results - page 181 / 1323 » Semantics of Information as Interactive Computation |
163
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
221
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
Mobile devices such as cell phone, PDA and smart phone have been so popularized that they are to be a necessity for everyday life. These mobile devices can be very useful tools to ...
190
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
As the use of wireless sensor networks expands, there will be multiple, independent networks operating in the same physical space. These networks will run heterogeneous applicatio...
187
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the speciļ¬cation of the coordination model they imp...
174
click to vote
CCGRID
2007
IEEE
16 years 28 days ago
2007
IEEE
The successful execution of workflows using mobile services is dependant on the services behaving as expected. The management of this behaviour in Akogrimo is achieved by a contex...