6722 search results - page 397 / 1345 » The DSML4MAS development environment |
133
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
A new type of integrated temperature and humidity sensor applying LTCC-technology (Low Temperature Cofired Ceramics) has been developed and characterized. The proposed device is b...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
190
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we propose a systematic approach to performance analysis of workflow applications on the Grid. We introduce an ideal model for the workflow execution time and explain...
143
click to vote
IBMRD
2006
15 years 6 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
207
click to vote
IEEEMM
2006
15 years 6 months ago
2006
A ubiquitous computing environment will become a solid social infrastructure for recording human experiences in the real world and facilitating human activities. The captured acti...