563 search results - page 87 / 113 » The Professional Responsibilities of Software Engineers |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
COMPUTER
2006
13 years 9 months ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
IEEESP
2007
13 years 9 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
DTJ
1998
13 years 9 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...