To develop software for embedded systems the designer must take into account different kinds of problems and complexities. The main issues are related to late integration with the target hardware and the separation of...
详细信息
We present the use of the polysaccharide chitosan for immobilizing biomolecules on microfabricated device surfaces. The main advantages of chitosan are its abundance of primary amine groups and its ability to be elect...
详细信息
ISBN:
(纸本)1424402778
We present the use of the polysaccharide chitosan for immobilizing biomolecules on microfabricated device surfaces. The main advantages of chitosan are its abundance of primary amine groups and its ability to be electrodeposited. Biomolecules are easily attached to chitosan 's amines by standard glutaraldehyde chemistry. The electrodeposition of chitosan allows accurate spatial and temporal control of biomolecule placement. We have demonstrated this biofunctionalization method for two different bioMEMS devices: a biophotonic sensor and a micromechanical biosensor. We have successfully assembled probe DNA on each of them and detected hybridization with target DNA as a demonstration of sensor operation. Here, we briefly present the fabrication procedure and testing results for both of these bioMEMS sensing devices
Many components are usually created within a Domain Engineering (DE) process. These components may exchange a great number of messages among them, and many times this interaction occurs within a specific group of comp...
详细信息
This work describes a workflow-based environment that manages the execution of software-testing processes. Testing processes require that human and computer resources be handled as dedicated resources, previously sche...
详细信息
ISBN:
(纸本)972886521X
This work describes a workflow-based environment that manages the execution of software-testing processes. Testing processes require that human and computer resources be handled as dedicated resources, previously scheduled for testing activities, with no overlapping. Two striking features of this environment are: a) the efficient handling of resources by taking into account the capabilities offered by resources required by testing activities, and b) it provides a broader view of all execution steps in a software-testing plan. Hence, it enables a better planning of software-testing process executions, as well as of human and computer resources involved.
OMG has published an unreliable multicast specification for distributed applications developed in CORBA (UMIOP). This mechanism can be implemented based on IP Multicast, a best-effort protocol, which provides no guara...
详细信息
The Engineering Games at UnicenP began in 1999 and, in 2004, the 6 th edition had the participation of approximately 600 students, freshmen and sophomore, from the Civil, computer, Electric and Mechanical Engineering ...
详细信息
OMG published a draft specification for a reliable ordered multicast inter-ORB protocol to be used by distributed applications developed in CORBA (ROMIOP). This specification was made to attend the demand of applicati...
详细信息
作者：
Artemov, SergeiNogina, ElenaGraduate Center
CUNY Ph.D. Program in Computer Science 365 Fifth Avenue New York NY 10016 United States BMCC
CUNY Department of Mathematics 199 Chambers Street New York NY 10007 United States
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the just...
详细信息
ISBN:
(纸本)9810534124
The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator F (F is known), contains assertions t:F (t is a justification for F). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F. Completeness and some new specific properties of basic systems of epistemic logic with justification are established.
This paper addresses the dynamic location management for personal communication service (PCS) networks with consideration of mobility patterns. The popular hexagonal cellular architecture is considered. In this paper,...
详细信息
暂无评论