11573 search results - page 1707 / 2315 » Designing Relational Databases |
178
click to vote
EPEW
2005
Springer
16 years 23 days ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
170
click to vote
GECCO
2005
Springer
16 years 22 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
195
click to vote
HVC
2005
Springer
16 years 22 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
157
click to vote
ICCS
2005
Springer
16 years 22 days ago
2005
Springer
The use of Grid technologies allows us to make progress in the prediction accuracy of epidemiological patterns, epidemiological modeling, risk predictions of infectious diseases et...
189
click to vote
CSCW
2004
ACM
16 years 20 days ago
2004
ACM
This paper considers the complexity of measuring the return on investment for technology adoption. A brief case study of technology adoption in a large design and construction fir...