881 search results - page 79 / 177 » Tool support for designing nomadic applications |
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
RE
1997
Springer
14 years 5 days ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Endonasal transsphenoidal pituitary surgery is a minimally invasive endoscopic procedure, applied to remove various kinds of pituitary tumors. To reduce the risk associated with t...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
WSC
1997
13 years 9 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...