In this paper, we present a novel algorithm for VANET using cloud computing. We accomplish processing, routing and traffic control in a centralized and parallel way by adding one or more server to the network. Each car or node is considered a Client, in such a manner that routing, traffic control, getting information from client and data processing and storing are performed by one or more serve...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

In this paper, we introduce a new measure of personal ethics in the form of marital cheating to examine the relationship between personal ethics and corporate misconduct. Firms with CEOs and CFOs who use a marital infidelity website are more than twice as likely to engage in two forms of corporate misconduct. The relationship is not explained by a wide range of regional, firm, and executive cha...

A distinction between forms of social identity formation in small interactive groups is investigated. In groups in which a common identity is available or given, norms for individual behavior may be deduced from group properties (deductive identity). In groups in which interpersonal relations are central, a group identity may also be induced from individual group members' contributions, making ...

In this paper, we describe a novel user interface for the visual defin ition of temporal abstractions based on a set of intuitive metaphors, which re present both temporal features and logical relations of abstractions.

UNLABELLED In order to understand and interpret phylogenetic and functional relationships between multiple prokaryotic species, qualitative and quantitative data must be correlated and displayed. GECO allows linear visualization of multiple genomes using a client/server based approach by dynamically creating .png- or .pdf-formatted images. It is able to display ortholog relations calculated usi...

We present a robust and efficient parallelizable multilingual UIMA-based platform for automatically annotating textual inputs with different layers of linguistic description, ranging from surface level phenomena all the way down to deep discourse-level information. In particular, given an input text, the pipeline extracts: sentences and tokens; entity mentions; syntactic information; opinionate...

In their Unifying Theories of Programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. A key concept in their programme is the design: the familiar precondition-postcondition pair that describes the contract between a programmer and a client. We give a tutorial introduction t...

We examine honesty and credible auditing in firm-investor relations in a repeated game of imperfect information, embedded in a general equilibrium framework. Informed auditors enhance credibility over a range of audit fees – despite the auditor’s incentive to collude – provided the probability of detection is imperfectly correlated across clients. Auditing can enhance growth especially for a re...

In this article, we present our efforts on realizing transformation independence in open, extensible, and highly distributed multimedia information systems. The main focus is on the abstract data and processing model called VirtualMedia which provides to application developers a kind of ’metaprogramming’ interface for multimedia processing. In particular, we describe how transformation requests...