Sciweavers

1009 search results - page 137 / 202
» Patterns, Tools and Models for Interaction Design
Sort
View
115
Voted
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 7 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
150
Voted
IEEESCC
2005
IEEE
15 years 9 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
128
Voted
FORTE
2003
15 years 5 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
169
Voted
MOBISYS
2006
ACM
16 years 3 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 ...
134
Voted
JCP
2008
116views more  JCP 2008»
15 years 3 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...