Sciweavers

3336 search results - page 270 / 668
» Communication Model to Support Rapid Application Development
Sort
View
154
Voted
TCAD
2008
90views more  TCAD 2008»
15 years 5 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 6 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
15 years 11 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
146
Voted
MUM
2004
ACM
93views Multimedia» more  MUM 2004»
15 years 10 months 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
116
Voted
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
15 years 10 months 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