Sciweavers

21430 search results - page 162 / 4286
» Abstract Effective Models
Sort
View
JOT
2006
76views more  JOT 2006»
15 years 7 months ago
Programming with Models? Modeling with Code. The Role of Models in Software Development
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...
Dave Thomas
161
Voted
FPL
2003
Springer
74views Hardware» more  FPL 2003»
16 years 6 days ago
Reconfigurable Circuits Using Hybrid Hall Effect Devices
Abstract. Hybrid Hall effect (HHE) devices are a new class of reconfigurable logic devices that incorporate ferromagnetic elements to deliver nonvolatile operation. A single HHE de...
Steve Ferrera, Nicholas P. Carter
DASFAA
2010
IEEE
195views Database» more  DASFAA 2010»
15 years 10 months ago
BIDEL: An XML-Based System for Effective Fast Change Detection of Genomic and Proteomic Data
Abstract. A key issue to address in biological data integration is how to detect changes to the underlying biological data sources. In this demonstration, we present a novel system...
Song Yang, Sourav S. Bhowmick
174
Voted
ECOOP
2000
Springer
15 years 11 months ago
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek
UML
2004
Springer
16 years 10 days ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...