2229 search results - page 317 / 446 » Agile Project Management |
ENTCS
2008
13 years 8 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
CAI
2006
Springer
13 years 8 months ago
2006
Springer
MAS is a powerful paradigm in nowadays distributed systems, however its disadvantage is that it lacks the interconnection with semantic web standards such as OWL. The aim of this a...
IJMMS
2008
13 years 7 months ago
2008
When we think of mobility in technical terms, we think of topics such as bandwidth, resource management, location, and wireless networks. When we think of mobility in social or cu...
RAS
2006
13 years 7 months ago
2006
The Life in the Atacama (LITA) project seeks to develop technologies for robotic life detection and apply them to the investigation of the Atacama Desert. Its field investigation ...
RE
2006
Springer
13 years 7 months ago
2006
Springer
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...