Este trabalho pretende estudar a world wide web sob o ponto de vista da sua forma, considerando sua forma tanto a forma aparente, que é a interface, quanto sua forma oculta, dada pelos códigos que a conformam. A intenção é reunir referências tanto para designers que queiram ir mais além no domínio das linguagens de programação e marcação, quanto para programadores que queiram ter mais domínio sobre a linguagem do design gráfico. Para isso, desmembramos o trabalho em três partes. Uma primeira, trata da formação histórica da rede, com ênfase na transformação do papel do computador, de uma ferramenta de uso militar, para o suporte para um novo meio de comunicação de massa. Em seguida, partimos para uma análise mais objetiva da web sob o ponto de vista de sua forma aparente, e para isso tentamos primeiro compreender o design gráfico como linguagem, e como linguagem, quais são seu elementos constitutivos, além de questões novas que se colocam para o design de interfaces, como arquitetura de informação e usabilidade. Na terceira parte, elaboramos um manual técnico dos protocolos, linguagens e recursos utilizados para a construção de websites. Explicamos como utilizá-los e reunimos exemplos ilustrativos para auxiliar no aprendizado. Por fim, fazemos considerações sobre os agentes envolvidos na produção de websites designers e programadores , sobre a relação entre eles no processo de trabalho e introduzimos questões que se colocam no modo de construção da web de modo mais geral, a partir da relação com um novo tipo de usuário, que é também produtor. Com isso, produzimos um material que serve como introdução ao webdesign, abarcando conceitos e linguagens relacionadas ao processo, que serve como referência para aqueles que quiserem se envolverem com a disciplina. / This work studies the world wide web under the terms of its form, considering their form as the apparent form, which is the interface, and its hidden form, given by the codes that builds it. The intention is to gather as much reference for designers who want to go further in the field of programming languages and markup, and for developers who want to have more control over the language of graphic design. For this, we have unbundled the work in three parts. The first one deals with the historical formation of the network, with an emphasis on the transformation on the role of the computer, from a tool for military use into the support for a new medium of mass communication. Then we went to a more objective analysis of the web from the point of view of its apparent form, and we try to first understand the graphic design as a language and beeing language, what are its constituent elements, and also new issues that arise for the design of interfaces, such as information architecture and usability. In the third part, we prepared a technical manual of protocols, languages and resources used to build websites. We explain how to use them and gather illustrative examples to assist in learning. Finally, we make considerations for those involved in the production of websites - designers and developers -, on the relationship between them in the work process and introduce issues that stand more generally in the way of building the web, related to a new type of user, which is also producer. As a result, produce a material that serves as an introduction to web design, covering concepts and languages related to the process, which serves as reference for those wishing to become involved in discipline.

<div>End users of closed-source software currently cannot easily analyze the security</div><div>of programs or patch them if flaws are found. Notably, end users can include devel</div><div>opers who use third party libraries. The current state of the art for coverage-guided</div><div>binary fuzzing or binary sanitization is dynamic binary translation, which results</div><div>in prohibitive overhead. Existing static rewriting techniques cannot fully recover</div><div>symbolization information, and so have difficulty modifying binaries to track code</div><div>coverage for fuzzing or add security checks for sanitizers.</div><div>The ideal solution for adding instrumentation is a static rewriter that can intel</div><div>ligently add in the required instrumentation as if it were inserted at compile time.</div><div>This requires analysis to statically disambiguate between references and scalars, a</div><div>problem known to be undecidable in the general case. We show that recovering this</div><div>information is possible in practice for the most common class of software and li</div><div>braries: 64 bit, position independent code. Based on our observation, we design a</div><div>binary-rewriting instrumentation to support American Fuzzy Lop (AFL) and Address</div><div>Sanitizer (ASan), and show that we achieve compiler levels of performance, while re</div><div>taining precision. Binaries rewritten for coverage-guided fuzzing using RetroWrite</div><div>are identical in performance to compiler-instrumented binaries and outperforms the</div><div>default QEMU-based instrumentation by 7.5x while triggering more bugs. Our im</div><div>plementation of binary-only Address Sanitizer is 3x faster than Valgrind memcheck,</div><div>the state-of-the-art binary-only memory checker, and detects 80% more bugs in our</div><div>security evaluation.</div>

Este trabalho apresenta uma aplicação da tecnologia adaptativa, de forma viável e prática, ao processo de tomada de decisão encontrado nas organizações e nos sistemas de apoio à decisão. Para alcançar esse fim, é proposto um ambiente para desenvolvimento de aplicações baseado em tabelas de decisão adaptativas. Desta forma um usuário leigo nos conceitos de computação, mas que tenha conhecimento do processo de decisão e do uso de tabelas de decisão, possa compreender, validar, modificar e mesmo desenvolver programas nesta ferramenta. Os principais resultados obtidos neste estudo foram a definição e construção de dispositivos adaptativos, em especial, as tabelas de decisão adaptativas, em linguagem funcional; e a definição de uma linguagem de entrada para a ferramenta proposta, classificada como uma linguagem de domínio específico. / This work presents an application of adaptive technology to the decision making process applied in the business management and Decision Support Systems. To accomplish this goal, a development environment based on adaptive decision tables is proposed. This way, a user who is not familiar to the computing concepts, but that does know the decision making process and the use of decision tables, can understand, change and even develop applications in this environment. The main results obtained from this study were the implementation of adaptive devices, specifically the adaptive decision tables, in functional languages, and the definition of an input language to the development environment proposed, that can be classified as a domain specific language.

Functional reactive programming (FRP) is a paradigm extending functional languages with primitives which operate on state. Typical FRP systems contain many dozens of such primitives. This thesis aims to identify a minimal subset of primitives which captures the same set of behavior as these systems, and to provide an axiomatic semantics for them using first-order linear temporal logic, with the aim of utilizing these semantics in formal verification of FRP programs. Furthermore, we identify several important properties of these primitives and prove that they are satisfied using the Coq proof assistant.

Typescript (photocopy). / Digitized by Kansas Correctional Industries / Department: Computer Science.

Made available in DSpace on 2015-03-05T13:56:59Z (GMT). No. of bitstreams: 0 Previous issue date: 13 / Hewlett-Packard Brasil Ltda / O avanço do poder computacional de dispositivos móveis e a popularização destes equipamentos, tem avançado a demanda por uma nova classe de aplicações: aplicações móveis. Com isso, surgem novos modelos de programação que buscam explorar um novo cenário computacional. Com o objetivo de explorar ao máximo a característicade mobilidades dos dispositivos recém mencionados, temos como resultado, a materialização de modelos de programação em estruturas computacionais, implementadas por ferramentas de desenvolvimento e suporte à execução de software. Esta dissertação apresenta um estudo sobre estas ferramentas de suporte a execução de aplicação móveis, tendo como foco a exploração do ambiente de computação móvel MHolo. Para isso, foi construída uma aplicação móvel real, denominada "Acompanhamento de um Evento Científico", que abrange mobilidade, distribuição e consciência ao contexto. O modelo para esta aplicação foi baseado em um evento científico genérico e, como apectos de trabalho, este modelo foi mapeado e impl / The growth of computational power in mobile devices and the popularization of these devices, has introduced the need of a new class of applications: mobile applications. As a consequence, the number of programming models which try to explore a new computational scenery. Aiming to explore the mobility of such devices at their maximum, we have as result, the materialization of programming models in computational structures, implemented by software development and execution support tools. This work presents a study about those tools that support the execution of mobile applications, focusing the exploration of MHolo mobile computing enviroment.

Typescript (photocopy). / Digitized by Kansas Correctional Industries

Typescript (photocopy). / Digitized by Kansas Correctional Industries

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Vita. / Bibliography: p. 254-259. / by Asher Reuveni. / Ph.D.

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1981. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Bibliography: leaves 55-57. / by Man-Kam Yip. / M.S.