2748 search results - page 352 / 550 » Generating Object-Z Specifications from Use Cases |
145
click to vote
JAIR
2006
15 years 4 months ago
2006
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...
146
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
153
click to vote
IJCAI
2003
15 years 5 months ago
2003
We present a description of three different algorithms that use background knowledge to improve text classifiers. One uses the background knowledge as an index into the set of tra...
147
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...
134
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...