Sciweavers

436 search results - page 16 / 88
» Specification of modelling languages in a flexible meta-mode...
Sort
View
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
14 years 1 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes
DATE
2006
IEEE
195views Hardware» more  DATE 2006»
14 years 2 months ago
Application specific instruction processor based implementation of a GNSS receiver on an FPGA
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
Götz Kappen, Tobias G. Noll
ENTCS
2006
104views more  ENTCS 2006»
13 years 8 months ago
Paradigm as Organization-Oriented Coordination Language
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint,...
ENTCS
2008
83views more  ENTCS 2008»
13 years 8 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
SCCC
1998
IEEE
14 years 21 days ago
Software Architectural Specification for Optimal Object Distribution
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
M. Cecilia Bastarrica, Steven A. Demurjian, Alexan...