Sciweavers

1009 search results - page 137 / 202
» Patterns, Tools and Models for Interaction Design
Sort
View
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 5 months ago
Automotive databus simulation using VHDL
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
Karen Hale
IEEESCC
2005
IEEE
15 years 7 months ago
An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
Xiaolin Lu
FORTE
2003
15 years 2 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
MOBISYS
2006
ACM
16 years 1 months ago
Pegboard: a framework for developing mobile applications
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Danny Soroker, Ramón Cáceres, Danny ...
JCP
2008
116views more  JCP 2008»
15 years 1 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...