2039 search results - page 163 / 408 » Teaching Standards to Engineers |
171
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
146
click to vote
IWPC
2007
IEEE
16 years 26 days ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
174
click to vote
SEFM
2007
IEEE
16 years 26 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
186
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
181
click to vote
B
2007
Springer
16 years 23 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...