Sciweavers

3336 search results - page 270 / 668
» Communication Model to Support Rapid Application Development
Sort
View
TCAD
2008
90views more  TCAD 2008»
15 years 7 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
BIRTHDAY
2010
Springer
15 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ICTAI
2007
IEEE
16 years 1 months ago
Semantic Web: The Story So Far
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
Ian Horrocks
MUM
2004
ACM
93views Multimedia» more  MUM 2004»
16 years 18 days ago
The GapiDraw platform: high-performance cross-platform graphics on mobile devices
The GapiDraw platform supports the creation of highperformance graphical applications across a variety of handheld hardware configurations, including Palm, Symbian and Windows Mob...
Johan Sanneblad, Lars Erik Holmquist
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
16 years 4 days ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green