6608 search results - page 961 / 1322 » On the Completeness of Model Checking |
154
click to vote
SIGECOM
2003
ACM
16 years 1 days ago
2003
ACM
We study mechanisms that can be modelled as coalitional games with transferable utilities, and apply ideas from mechanism design and game theory to problems arising in a network d...
186
click to vote
AC
2003
Springer
16 years 1 days ago
2003
Springer
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
224
click to vote
AGENTCL
2003
Springer
16 years 1 days ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
135
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
170
click to vote
ICWE
2003
Springer
16 years 7 hour ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...