3381 search results - page 169 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
173
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
148
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
172
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities. We analyze how these heterogeneous approaches ca...
190
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
189
click to vote
ICASSP
2007
IEEE
16 years 25 days ago
2007
IEEE
Super resolution (SR) is a well-known technique to increase the quality of an image using multiple overlapping pictures of a scene. SR requires accurate registration of the images...